From 7d83d90e51573d92071e4f84c33f0cd2a1ab2c36 Mon Sep 17 00:00:00 2001 From: bjorn Date: Tue, 19 Aug 2008 14:35:45 +0000 Subject: Use overloaded API in peace keeping grammar. Still not compiling, "no instance of mkS for Cl among ... Cl ... ?" --- examples/peacekeeping/english/PeaceCat_Eng.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/peacekeeping/english') diff --git a/examples/peacekeeping/english/PeaceCat_Eng.gf b/examples/peacekeeping/english/PeaceCat_Eng.gf index d73e1d581..0f3e59bf5 100644 --- a/examples/peacekeeping/english/PeaceCat_Eng.gf +++ b/examples/peacekeeping/english/PeaceCat_Eng.gf @@ -1,3 +1,3 @@ --# -path=.:present:prelude -concrete PeaceCat_Eng of PeaceCat = CatEng ** PeaceCatI with (Lang = LangEng); \ No newline at end of file +concrete PeaceCat_Eng of PeaceCat = PeaceCatI with (Lang = LangEng); \ No newline at end of file -- cgit v1.2.3