simplified the deprecated complex lincat of PredefCnc.Int

2008-09-03 09:45:09 +00:00
parent 8952a626d0
commit 6f42ba8693
1 changed files with 1 additions and 2 deletions
--- a/lib/prelude/PredefCnc.gf
+++ b/lib/prelude/PredefCnc.gf
@@ -1,5 +1,4 @@
 concrete PredefCnc of PredefAbs = {
  lincat 
-    Int = {s : Str ; size : Predef.Ints 1 ; last : Predef.Ints 9} ;
-    Float, String = {s : Str} ;
+    Int, Float, String = {s : Str} ;
 } ;