diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Infra/Option.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index e27283de1..40b8dc434 100644 --- 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 = [] |