summaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-12-19 15:34:52 +0000
committeraarne <aarne@cs.chalmers.se>2006-12-19 15:34:52 +0000
commitd0b392e318f442807d10e6adf80a85df33b529d7 (patch)
tree7d6cf89fbb9c5151299d79fe2041e072c7203155 /examples
parent08154738fc445a75c3cc43bb28ec1f007a20e46b (diff)
gfcc with lindef (_dCat)
Diffstat (limited to 'examples')
-rw-r--r--examples/bronzeage/BronzeageI.gf2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/bronzeage/BronzeageI.gf b/examples/bronzeage/BronzeageI.gf
index f0a484c41..57590c569 100644
--- a/examples/bronzeage/BronzeageI.gf
+++ b/examples/bronzeage/BronzeageI.gf
@@ -1,7 +1,7 @@
incomplete concrete BronzeageI of Bronzeage = open Lang in {
flags
- startcat = Phr ; optimize = share_subs ;
+ startcat = Phr ; optimize = all_subs ; --optimize = share_subs ;
unlexer = text ; lexer = text ;
lincat