simplified the deprecated complex lincat of PredefCnc.Int

This commit is contained in:
aarne
2008-09-03 09:45:09 +00:00
parent 1fc8a8a378
commit 2b8585f8f3

View File

@@ -1,5 +1,4 @@
concrete PredefCnc of PredefAbs = { concrete PredefCnc of PredefAbs = {
lincat lincat
Int = {s : Str ; size : Predef.Ints 1 ; last : Predef.Ints 9} ; Int, Float, String = {s : Str} ;
Float, String = {s : Str} ;
} ; } ;