diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-05-21 11:38:00 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-05-21 11:38:00 +0000 |
| commit | 00e7c3225e0399917e3a602a43b26ec238b870bc (patch) | |
| tree | de2226565ea57a1d50ca8f9af60916c61a72b02a /src/GF/Grammar/AppPredefined.hs | |
| parent | 4f9ba74f726457b82e392e49b2e5d5291e1646a2 (diff) | |
bug fix in Predef.toStr compilation
Diffstat (limited to 'src/GF/Grammar/AppPredefined.hs')
| -rw-r--r-- | src/GF/Grammar/AppPredefined.hs | 1 |
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 |