diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-02-08 22:43:07 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-02-08 22:43:07 +0000 |
| commit | fd9da86d245f852ec5597aa4b40db3ea70b8422f (patch) | |
| tree | 387fa45e77c163475175955b35a68e1aade4dc6b /src/GF/UseGrammar | |
| parent | f916352116bb2d3c3caf7aa38e8fe585f2f2150e (diff) | |
added timeout to gr -cf
Diffstat (limited to 'src/GF/UseGrammar')
| -rw-r--r-- | src/GF/UseGrammar/Treebank.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/UseGrammar/Treebank.hs b/src/GF/UseGrammar/Treebank.hs index 99f0da281..606d72266 100644 --- a/src/GF/UseGrammar/Treebank.hs +++ b/src/GF/UseGrammar/Treebank.hs @@ -108,7 +108,7 @@ linearize mgr lang = untok . linTree2string noMark (canModules mgr) (zIdent lang) where - sgr = stateGrammarOfLang mgr (zIdent lang) + sgr = stateGrammarOfLangOpt False mgr (zIdent lang) untok = customOrDefault noOptions useUntokenizer customUntokenizer sgr showTree t = prt_ $ tree2exp t |