Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/qualList.h b/src/Headers/qualList.h
index 8e80eb701d70acede7a695cd44585f805971af77..38bab620afa5d2b5d3875d0998f3149b951a023e 100644 (file)
--- a/src/Headers/qualList.h
+++ b/src/Headers/qualList.h
@@ -12,8 +12,8 @@ abst_typedef /*@null@*/ struct
   /*@reldef@*/ /*@relnull@*/ qual *elements;
 } *qualList ;
 
-extern /*@falsenull@*/ bool qualList_isDefined (qualList p_s);
-extern /*@unused@*/ /*@truenull@*/ bool qualList_isUndefined (qualList p_s);
+extern /*@falsewhennull@*/ bool qualList_isDefined (qualList p_s);
+extern /*@unused@*/ /*@nullwhentrue@*/ bool qualList_isUndefined (qualList p_s);
 
 /*@constant null qualList qualList_undefined; @*/
 # define qualList_undefined ((qualList) NULL)