From 0f4a01000e1390ef30b56ebeb30127aaf31e2b5e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 4 Apr 2006 14:44:46 +0000
Subject: [PATCH] inherent features of Int

---
 prelude/PredefCnc.gf | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prelude/PredefCnc.gf b/prelude/PredefCnc.gf
index 485f181ef..bf31c5bc5 100644
--- a/prelude/PredefCnc.gf
+++ b/prelude/PredefCnc.gf
@@ -1,3 +1,5 @@
 concrete PredefCnc of PredefAbs = {
-  lincat Int, String = {s : Str} ;
+  lincat 
+    Int = {s : Str ; size : Predef.Ints 1 ; last : Predef.Ints 9} ;
+    Float, String = {s : Str} ;
 } ;