summaryrefslogtreecommitdiff
path: root/examples/peacekeeping/english
diff options
context:
space:
mode:
Diffstat (limited to 'examples/peacekeeping/english')
-rw-r--r--examples/peacekeeping/english/PeaceLexCommon_Eng.gf3
-rw-r--r--examples/peacekeeping/english/PeaceSyntax_Eng.gf1
2 files changed, 3 insertions, 1 deletions
diff --git a/examples/peacekeeping/english/PeaceLexCommon_Eng.gf b/examples/peacekeeping/english/PeaceLexCommon_Eng.gf
index fc3ab664d..4a047facd 100644
--- a/examples/peacekeeping/english/PeaceLexCommon_Eng.gf
+++ b/examples/peacekeeping/english/PeaceLexCommon_Eng.gf
@@ -1,5 +1,6 @@
--# -path=.:present:prelude
concrete PeaceLexCommon_Eng of PeaceLexCommon =
- PeaceCat_Eng ** PeaceLexCommonI with (Lang = LangEng) ;
+ PeaceCat_Eng ** PeaceLexCommonI with (Lang = LangEng),
+ (Constructors = ConstructorsEng) ;
diff --git a/examples/peacekeeping/english/PeaceSyntax_Eng.gf b/examples/peacekeeping/english/PeaceSyntax_Eng.gf
index 674e1e123..46c26f183 100644
--- a/examples/peacekeeping/english/PeaceSyntax_Eng.gf
+++ b/examples/peacekeeping/english/PeaceSyntax_Eng.gf
@@ -1,5 +1,6 @@
--# -path=.:present:prelude
concrete PeaceSyntax_Eng of PeaceSyntax = PeaceCat_Eng ** PeaceSyntaxI with
+ (Constructors = ConstructorsEng),
(Lang = LangEng) ;