summaryrefslogtreecommitdiff
path: root/src/GF/Infra
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-02-25 18:59:32 +0000
committeraarne <aarne@cs.chalmers.se>2006-02-25 18:59:32 +0000
commit3cbd135010a597aa4caf1098bd21b95814f5de64 (patch)
treeea2769c8dc81619830e56a9fe5fd406db143ee2a /src/GF/Infra
parent56a9e025d59d3c6df9f07a6304f7d1d56dfd96b2 (diff)
resource specialized to present tense ; preprocessor flag
Diffstat (limited to 'src/GF/Infra')
-rw-r--r--src/GF/Infra/Option.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index 6dc68e257..81ddd44af 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -313,6 +313,7 @@ pathList = aOpt "path"
uniCoding = aOpt "coding"
probFile = aOpt "probs"
noparseFile = aOpt "noparse"
+usePreprocessor = aOpt "preproc"
-- peb 16/3-05:
gfcConversion :: String -> Option