ADded numabstract types.

[splint.git] / src / Headers / misc.h

diff --git a/src/Headers/misc.h b/src/Headers/misc.h
index c35b296c437dc65efcff04ad25908c4780013bdb..e54175151214f6a723223c06a4eb5b4a9b031f0d 100644 (file)
--- a/src/Headers/misc.h
+++ b/src/Headers/misc.h
@@ -23,12 +23,14 @@ extern void assertDefined (/*@sef@*/ /*@unused@*/ void *p_x) ;
 
 
 /*@-czechfcns@*/
-extern int size_toInt (size_t p_x) /*@*/ /*@ensures result==p_x@*/;
-extern long size_toLong (size_t p_x) /*@*/ /*@ensures result==p_x@*/ ;
-extern size_t size_fromInt (int p_x) /*@*/ /*@ensures result==p_x@*/ ;
-extern int longUnsigned_toInt (long unsigned int p_x) /*@*/ /*@ensures result==p_x@*/ ;
-extern int long_toInt (long p_x) /*@*/ /*@ensures result==p_x@*/;
-extern long unsigned longUnsigned_fromInt (int p_x) /*@*/  /*@ensures result==p_x@*/ ;
+extern int size_toInt (size_t p_x) /*@*/ /*@ensures result == p_x@*/;
+extern long size_toLong (size_t p_x) /*@*/ /*@ensures result == p_x@*/ ;
+extern size_t size_fromInt (int p_x) /*@*/ /*@ensures result == p_x@*/ ;
+extern size_t size_fromLong (long p_x) /*@*/ /*@ensures result == p_x@*/ ;
+extern size_t size_fromLongUnsigned (long unsigned p_x) /*@*/ /*@ensures result == p_x@*/ ;
+extern int longUnsigned_toInt (long unsigned int p_x) /*@*/ /*@ensures result == p_x@*/ ;
+extern int long_toInt (long p_x) /*@*/ /*@ensures result == p_x@*/;
+extern long unsigned longUnsigned_fromInt (int p_x) /*@*/  /*@ensures result == p_x@*/ ;
 /*@=czechfcns@*/
 
 # include "mstring.h"