From fd9da86d245f852ec5597aa4b40db3ea70b8422f Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 8 Feb 2006 22:43:07 +0000 Subject: added timeout to gr -cf --- src/GF/UseGrammar/Treebank.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/UseGrammar') 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 -- cgit v1.2.3