From 45f3b7d5e74dde250a3e0eb92469efc22479cd30 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sat, 5 Feb 2005 09:52:04 +0000
Subject: optimization flags and improver eng

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

(limited to 'src/GF/Infra/Option.hs')

diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index 4aab45d4d..4d3cf5393 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -9,7 +9,7 @@
 -- > CVS $Author $
 -- > CVS $Revision $
 --
--- (Description of the module)
+-- Options and flags used in GF shell commands and files.
 -----------------------------------------------------------------------------
 
 module Option where
@@ -224,6 +224,7 @@ useAbsName     = aOpt "abs"
 useCncName     = aOpt "cnc"
 useResName     = aOpt "res"
 useFile        = aOpt "file"
+useOptimizer   = aOpt "optimize"
 
 markLin        = aOpt "mark"
 markOptXML     = oArg "xml"
-- 
cgit v1.2.3