From 53f7d4ecfb7b101c29115d3ba7285757808bbb9c Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 22 Jun 2004 12:33:31 +0000 Subject: fixes in parsing --- src/GF/Infra/Option.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/GF/Infra') diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index dcfbc3b17..fff5f5fc1 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -230,6 +230,7 @@ flagDepth = aOpt "depth" flagAlts = aOpt "alts" flagLength = aOpt "length" flagNumber = aOpt "number" +flagRawtrees = aOpt "rawtrees" caseYesNo :: Options -> OptFun -> Maybe Bool caseYesNo opts f = do -- cgit v1.2.3