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/finnish/PeaceCat_Fin.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/peacekeeping/finnish') diff --git a/examples/peacekeeping/finnish/PeaceCat_Fin.gf b/examples/peacekeeping/finnish/PeaceCat_Fin.gf index b5e73aaf1..1a0c6ac9c 100644 --- a/examples/peacekeeping/finnish/PeaceCat_Fin.gf +++ b/examples/peacekeeping/finnish/PeaceCat_Fin.gf @@ -1,3 +1,3 @@ --# -path=.:present:prelude -concrete PeaceCat_Fin of PeaceCat = CatFin ** PeaceCatI with (Lang = LangFin); +concrete PeaceCat_Fin of PeaceCat = PeaceCatI with (Lang = LangFin); -- cgit v1.2.3