ADded numabstract types.

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

diff --git a/src/Headers/cprim.h b/src/Headers/cprim.h
index 4720f9e5dc472780b214a475c5ad7d05fbc06fef..93607e7bbec2b91e285de129a053c93543761d76 100644 (file)
--- a/src/Headers/cprim.h
+++ b/src/Headers/cprim.h
@@ -114,8 +114,8 @@ extern bool cprim_closeEnough (cprim, cprim) /*@*/ ;
 extern bool cprim_closeEnoughDeep (cprim, cprim) /*@*/ ;
 extern /*@only@*/ cstring cprim_unparse (cprim) /*@*/ ;
 extern cprim cprim_fromInt (int p_i);
-
 extern bool cprim_isInt(cprim p_c);
+extern int cprim_getExpectedBits (cprim p_c) /*@*/ ;
 
 # else
 # error "Multiple include"