added timeout to gr -cf

This commit is contained in:
aarne
2006-02-08 22:43:07 +00:00
parent f916352116
commit fd9da86d24
3 changed files with 15 additions and 6 deletions

View File

@@ -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