diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-19 14:35:45 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-19 14:35:45 +0000 |
| commit | 7d83d90e51573d92071e4f84c33f0cd2a1ab2c36 (patch) | |
| tree | f77bae029bc96cf79bafdf3185c3fcbe87def887 /examples/peacekeeping/finnish | |
| parent | 9242bdfcc81dc1d6f5c1f2b2e363f4284a13c962 (diff) | |
Use overloaded API in peace keeping grammar. Still not compiling, "no instance of mkS for Cl among ... Cl ... ?"
Diffstat (limited to 'examples/peacekeeping/finnish')
| -rw-r--r-- | examples/peacekeeping/finnish/PeaceCat_Fin.gf | 2 |
1 files changed, 1 insertions, 1 deletions
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); |