diff options
| author | aarne <unknown> | 2004-06-22 12:33:31 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-06-22 12:33:31 +0000 |
| commit | 53f7d4ecfb7b101c29115d3ba7285757808bbb9c (patch) | |
| tree | 583ba348c14a7a22d7e21801e321e3355b88fdb0 /src/GF/Infra | |
| parent | 3986f8c265e09043770480fe85ae5350e807a4a4 (diff) | |
fixes in parsing
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |