From e69f8165c0d59f510ed59e0dff38aaae61653bf7 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 16 Jun 2009 14:50:06 +0000
Subject: make erasing=on the default

---
 src/GF/Infra/Option.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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            = []
-- 
cgit v1.2.3