summaryrefslogtreecommitdiff
path: root/src/GF/Grammar/AppPredefined.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Grammar/AppPredefined.hs')
-rw-r--r--src/GF/Grammar/AppPredefined.hs1
1 files changed, 1 insertions, 0 deletions
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