diff options
Diffstat (limited to 'src/GF/Embed/EmbedParsing.hs')
| -rw-r--r-- | src/GF/Embed/EmbedParsing.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Embed/EmbedParsing.hs b/src/GF/Embed/EmbedParsing.hs index 485fa2379..40378c491 100644 --- a/src/GF/Embed/EmbedParsing.hs +++ b/src/GF/Embed/EmbedParsing.hs @@ -83,7 +83,7 @@ trees2trms opts sg cn as ts0 info = do ,checkWarn (unlines ("Raw CF trees:":(map prCFTree ts0))) >> return [] ] _ -> do - let num = optIntOrN opts flagRawtrees 99999 + let num = optIntOrN opts flagRawtrees 999999 let (ts01,rest) = splitAt num ts0 if null rest then return () else checkWarn ("Warning: only" +++ show num +++ "raw parses out of" +++ |