make erasing=on the default

2009-06-16 14:50:06 +00:00
parent 358e5de44e
commit e69f8165c0
2 changed files with 4 additions and 4 deletions
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -266,7 +266,7 @@ defaultFlags = Flags {
      optSpeechLanguage  = Nothing,
      optLexer           = Nothing,
      optUnlexer         = Nothing,
-      optErasing         = False,
+      optErasing         = True,
      optBuildParser     = BuildParser,
      optWarnings        = [],
      optDump            = []