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/swedish/PeaceCat_Swe.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/peacekeeping/swedish') diff --git a/examples/peacekeeping/swedish/PeaceCat_Swe.gf b/examples/peacekeeping/swedish/PeaceCat_Swe.gf index 5ccfb2ed5..e056dc86a 100644 --- a/examples/peacekeeping/swedish/PeaceCat_Swe.gf +++ b/examples/peacekeeping/swedish/PeaceCat_Swe.gf @@ -1,3 +1,3 @@ --# -path=.:present:prelude -concrete PeaceCat_Swe of PeaceCat = CatSwe ** PeaceCatI with (Lang = LangSwe); \ No newline at end of file +concrete PeaceCat_Swe of PeaceCat = PeaceCatI with (Lang = LangSwe); \ No newline at end of file -- cgit v1.2.3