From 6f42ba8693efe4256484708c98c3d2f3d7320961 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 3 Sep 2008 09:45:09 +0000
Subject: [PATCH] simplified the deprecated complex lincat of PredefCnc.Int

---
 lib/prelude/PredefCnc.gf | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/prelude/PredefCnc.gf b/lib/prelude/PredefCnc.gf
index bf31c5bc5..f12b9b1f0 100644
--- 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} ;
 } ;