From af2755eebe8baa2c283f7732beec5b230c301760 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 13 Dec 2007 10:12:00 +0000
Subject: prelude sources to lib/src; present in StructuralEng; refactored
 checkGFCC

---
 src/GF/Devel/GrammarToGFCC.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/GF/Devel/GrammarToGFCC.hs')

diff --git a/src/GF/Devel/GrammarToGFCC.hs b/src/GF/Devel/GrammarToGFCC.hs
index e83e7ebe9..7f346619d 100644
--- a/src/GF/Devel/GrammarToGFCC.hs
+++ b/src/GF/Devel/GrammarToGFCC.hs
@@ -380,7 +380,6 @@ term2term cgr env@(labels,untyps,typs) tr = case tr of
   P  t l   -> r2r tr
   PI t l i -> EInt $ toInteger i
 
-  T _ [_] -> error $ "single" +++ prt tr
   T (TWild _) _ -> error $ "wild" +++ prt tr
   T (TComp  ty) cs  -> t2t $ V ty $ map snd cs ---- should be elim'ed in tc
   T (TTyped ty) cs  -> t2t $ V ty $ map snd cs ---- should be elim'ed in tc
-- 
cgit v1.2.3