From 6753fdae72dc6be7cdac5f2ec09fc42d8f0b4b2e Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sun, 25 Oct 2009 18:01:04 +0000
Subject: strip some redundant constructors from GF.Grammar.Grammar

---
 src/GF/Compile/Concrete/AppPredefined.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/GF/Compile/Concrete/AppPredefined.hs')

diff --git a/src/GF/Compile/Concrete/AppPredefined.hs b/src/GF/Compile/Concrete/AppPredefined.hs
index 154d76821..95effb51d 100644
--- a/src/GF/Compile/Concrete/AppPredefined.hs
+++ b/src/GF/Compile/Concrete/AppPredefined.hs
@@ -136,7 +136,6 @@ trm2str :: Term -> Err Term
 trm2str t = case t of
   R ((_,(_,s)):_) -> trm2str s
   T _ ((_,s):_)   -> trm2str s
-  TSh _ ((_,s):_) -> trm2str s
   V _ (s:_)       -> trm2str s
   C _ _           -> return $ t
   K _             -> return $ t
-- 
cgit v1.2.3