diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-16 08:27:43 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-16 08:27:43 +0000 |
| commit | d1633b98d01233ad6ddf16105955ea9ea79be336 (patch) | |
| tree | 6bd6d268f3bb884a075d0e250c3443ec810d6c4b /src/GF/Compile.hs | |
| parent | 5422eb54d972ebccaa97e58a5fb3d60ca59a9604 (diff) | |
Honor --erasing flag from command-line also when compiling existing .gfo to PGF.
Diffstat (limited to 'src/GF/Compile.hs')
| -rw-r--r-- | src/GF/Compile.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Compile.hs b/src/GF/Compile.hs index 7aeab6b08..b652779d7 100644 --- a/src/GF/Compile.hs +++ b/src/GF/Compile.hs @@ -74,7 +74,7 @@ optimize opts = cse . suf buildParser :: Options -> PGF -> PGF buildParser opts = - if flag optBuildParser opts then addParsers else id + if flag optBuildParser opts then addParsers opts else id batchCompile :: Options -> [FilePath] -> IOE SourceGrammar batchCompile opts files = do |