diff options
| author | krasimir <krasimir@chalmers.se> | 2009-06-16 14:50:06 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-06-16 14:50:06 +0000 |
| commit | e69f8165c0d59f510ed59e0dff38aaae61653bf7 (patch) | |
| tree | 65b1a7da8300222c32bbe2313a12bfb1767ddf76 /src | |
| parent | 358e5de44e24e7a35930538ccfe992ebff7a03f1 (diff) | |
make erasing=on the default
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 = [] |