From 401d1cd7d10b5e1596d4dc82f926a8feb1d6e3ea Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Mon, 18 Aug 2008 20:22:25 +0000
Subject: Some peacekeeping clean-up, still far from compiling.

---
 examples/peacekeeping/PeaceSyntaxI.gf | 2 --
 1 file changed, 2 deletions(-)

(limited to 'examples/peacekeeping/PeaceSyntaxI.gf')

diff --git a/examples/peacekeeping/PeaceSyntaxI.gf b/examples/peacekeeping/PeaceSyntaxI.gf
index 89517d735..9f29f9f3c 100644
--- a/examples/peacekeeping/PeaceSyntaxI.gf
+++ b/examples/peacekeeping/PeaceSyntaxI.gf
@@ -2,8 +2,6 @@ incomplete concrete PeaceSyntaxI of PeaceSyntax =
   PeaceCatI ** open Lang,PeaceRes in {
 
   flags 
---    optimize = all_subs ;
-    optimize = share ;
     unlexer = text ; lexer = text ;
 
   lincat
-- 
cgit v1.2.3