From db4cf670d078e0e72883b3af1b28e665326027d9 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sun, 18 Sep 2005 21:55:46 +0000
Subject: common subexp elimination

---
 src/GF/Infra/Option.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/GF/Infra')

diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index 4e6e66b02..f00ecd63a 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/06/10 21:04:01 $ 
+-- > CVS $Date: 2005/09/18 22:55:46 $ 
 -- > CVS $Author: aarne $
--- > CVS $Revision: 1.30 $
+-- > CVS $Revision: 1.31 $
 --
 -- Options and flags used in GF shell commands and files.
 --
@@ -189,6 +189,7 @@ checkCirc   = iOpt "nocirc"
 noCheckCirc = iOpt "nocheckcirc"
 lexerByNeed = iOpt "cflexer"
 useUTF8id   = iOpt "utf8id"
+elimSubs    = iOpt "subs"
 
 -- ** linearization
 
-- 
cgit v1.2.3