Some peacekeeping clean-up, still far from compiling.

2008-08-18 20:22:25 +00:00
parent 018b8e2f0d
commit 591c44f05b
11 changed files with 18 additions and 42 deletions
--- 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