summaryrefslogtreecommitdiff
path: root/examples/peacekeeping/finnish/PeaceSyntax_Fin.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-08-20 07:14:20 +0000
committeraarne <aarne@cs.chalmers.se>2008-08-20 07:14:20 +0000
commit02a80d68aaf2efe20973be2e827a581beb0d1624 (patch)
tree6d161fdf9dd0fbcc0d89f537692b2690d798db8c /examples/peacekeeping/finnish/PeaceSyntax_Fin.gf
parent74373394a6cba4fb2189a531f36f7686a2dcd3a0 (diff)
peace grammars patched to work with the new API
Diffstat (limited to 'examples/peacekeeping/finnish/PeaceSyntax_Fin.gf')
-rw-r--r--examples/peacekeeping/finnish/PeaceSyntax_Fin.gf2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/peacekeeping/finnish/PeaceSyntax_Fin.gf b/examples/peacekeeping/finnish/PeaceSyntax_Fin.gf
index 80bd821c4..3e728dbf8 100644
--- a/examples/peacekeeping/finnish/PeaceSyntax_Fin.gf
+++ b/examples/peacekeeping/finnish/PeaceSyntax_Fin.gf
@@ -1,5 +1,5 @@
--# -path=.:present:prelude
concrete PeaceSyntax_Fin of PeaceSyntax = PeaceCat_Fin ** PeaceSyntaxI with
- (Lang = LangFin) ;
+ (Lang = LangFin), (Constructors = ConstructorsFin) ;