From 87b55df10f00fd23d89a89bfb7c4354ff455d83d Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 11 Jan 2005 15:06:12 +0000
Subject: -val optimization

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

(limited to 'src/GF/Infra')

diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index 3b78839f3..89b0700a1 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -163,6 +163,7 @@ doTrace      = iOpt "tr"
 noCPU        = iOpt "nocpu"
 doCompute    = iOpt "c"
 optimizeCanon = iOpt "opt"
+optimizeValues = iOpt "val"
 stripQualif   = iOpt "strip"
 nostripQualif = iOpt "nostrip"
 showAll      = iOpt "all"
-- 
cgit v1.2.3