From 0715cfe2aef2fee3188565cb2b84a3a799dc1c43 Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 24 Jun 2014 13:59:09 +0000 Subject: minibar: include the grammar's last modification in the grammar info shown by the "i" button Also bumped version number in gf.cabal to 3.6-darcs. Also removed some unecessary use of CPP. --- src/compiler/GF/Infra/Option.hs | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) (limited to 'src/compiler/GF/Infra') diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs index 80606c0a9..88767c72e 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -1,4 +1,3 @@ --- LANGUAGE CPP module GF.Infra.Option ( -- * Option types @@ -285,14 +284,7 @@ defaultFlags = Flags { optTagsOnly = False, optHeuristicFactor = Nothing, optMetaProb = Nothing, - optMetaToknProb = Nothing{-, - optNewComp = -#ifdef NEW_COMP - True -#else - False -#endif --} + optMetaToknProb = Nothing } -- | Option descriptions -- cgit v1.2.3