diff options
| author | aarne <unknown> | 2005-05-31 11:47:51 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-05-31 11:47:51 +0000 |
| commit | d4c1a0f09da12c259cdf8e2bb374411f629bef2a (patch) | |
| tree | 27053f83e118561e11df5352316a61af2c6f0427 /src/GF/Embed | |
| parent | 3a3342a0f96ba33d0df745b87f700b9998c86f4f (diff) | |
cf for restricted import; new API funs
Diffstat (limited to 'src/GF/Embed')
| -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" +++ |