Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/constraintList2.h b/src/Headers/constraintList2.h
index 7e8cbbff12aad720302d7b2e4cc3fa8c17f18deb..72df086e4ee945392a212e921d71870ca946df50 100644 (file)
--- a/src/Headers/constraintList2.h
+++ b/src/Headers/constraintList2.h
@@ -32,7 +32,7 @@ extern int constraintList_size (/*@sef@*/ constraintList);
 extern bool constraintList_empty (/*@sef@*/ constraintList);
 # define constraintList_empty(s) (constraintList_size(s) == 0)
 
-extern /*@falsenull@*/ bool constraintList_isDefined (constraintList p_t);
+extern /*@falsewhennull@*/ bool constraintList_isDefined (constraintList p_t);
 # define constraintList_isDefined(s) ((s) != (constraintList) 0)
 
 extern /*@only@*/ constraintList constraintList_makeNew(void);