diff options
Diffstat (limited to 'examples/peacekeeping/PeaceSyntaxI.gf')
| -rw-r--r-- | examples/peacekeeping/PeaceSyntaxI.gf | 2 |
1 files changed, 0 insertions, 2 deletions
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 |