library adjustments, error message clean-up

2005-04-28 15:42:47 +00:00
parent 590a0dd50e
commit 5137cfeeb8
4 changed files with 6 additions and 3 deletions
--- a/prelude/PredefCnc.gf
+++ b/prelude/PredefCnc.gf
@@ -0,0 +1,3 @@
+concrete PredefCnc of PredefAbs = {
+  lincat Int, String = {s : Str} ;
+} ;