Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/ctypeList.h b/src/Headers/ctypeList.h
index 32f1c8cfec4b018c34e7c761542648cedd84af38..7c3fecce2007ce2d9545c0f238699885cb6937fb 100644 (file)
--- a/src/Headers/ctypeList.h
+++ b/src/Headers/ctypeList.h
@@ -35,8 +35,8 @@ extern ctypeList ctypeList_add (/*@only@*/ ctypeList p_s, ctype p_el) /*@modifie
 extern /*@unused@*/ /*@only@*/ cstring ctypeList_unparse (ctypeList) /*@*/ ;
 extern void ctypeList_free (/*@only@*/ /*@only@*/ ctypeList p_s) /*@modifies p_s@*/;
 
-extern /*@falsenull@*/ bool ctypeList_isDefined (/*@null@*/ ctypeList p_ct) /*@*/ ;
-extern /*@unused@*/ /*@truenull@*/ bool 
+extern /*@falsewhennull@*/ bool ctypeList_isDefined (/*@null@*/ ctypeList p_ct) /*@*/ ;
+extern /*@unused@*/ /*@nullwhentrue@*/ bool 
   ctypeList_isUndefined (/*@null@*/ ctypeList p_ct) /*@*/ ;
 
 /*@constant null ctypeList ctypeList_undefined; @*/