From 1112dbed7e74c23eba01b39289a48f0c2b5c6d75 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 21 May 2006 11:38:00 +0000 Subject: [PATCH] bug fix in Predef.toStr compilation --- src/GF/Grammar/AppPredefined.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/GF/Grammar/AppPredefined.hs b/src/GF/Grammar/AppPredefined.hs index c8710f32d..d7afbad55 100644 --- a/src/GF/Grammar/AppPredefined.hs +++ b/src/GF/Grammar/AppPredefined.hs @@ -138,6 +138,7 @@ trm2str t = case t of V _ (s:_) -> trm2str s C _ _ -> return $ t K _ -> return $ t + S c _ -> trm2str c Empty -> return $ t _ -> prtBad "cannot get Str from term" t