Honor --erasing flag from command-line also when compiling existing .gfo to PGF.

This commit is contained in:
bjorn
2008-10-16 08:27:43 +00:00
parent 23a139ec07
commit 21e3858442
2 changed files with 6 additions and 6 deletions

View File

@@ -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