*** empty log message ***

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

diff --git a/src/Headers/cprim.h b/src/Headers/cprim.h
index 0e399462374c0ddf7bf9b260722982981860b448..6ac9a71585d2bb1468821ef686233a98460f78b6 100644 (file)
--- a/src/Headers/cprim.h
+++ b/src/Headers/cprim.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
 ** See ../LICENSE for license information.
 **
 */
@@ -105,8 +105,9 @@ extern bool cprim_isAnyReal (/*@sef@*/ cprim p_c);
 extern bool cprim_equal (cprim, cprim);
 # define cprim_equal(p1,p2) ((p1) == (p2))
 
-extern bool cprim_closeEnough(cprim, cprim);
-extern /*@only@*/ cstring cprim_unparse(cprim);
+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);