Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/termNodeList.h b/src/Headers/termNodeList.h
index 0adeec9cad43db14248201217bbe14036174fd22..6efc415dcb82c388b590fb4fdd3d97a466ee6df6 100644 (file)
--- a/src/Headers/termNodeList.h
+++ b/src/Headers/termNodeList.h
@@ -32,7 +32,7 @@ extern int termNodeList_size (/*@sef@*/ termNodeList);
 extern bool termNodeList_empty (/*@sef@*/ termNodeList);
 # define termNodeList_empty(s) (termNodeList_size(s) == 0)
 
-extern /*@falsenull@*/ bool termNodeList_isDefined (termNodeList p_t);
+extern /*@falsewhennull@*/ bool termNodeList_isDefined (termNodeList p_t);
 # define termNodeList_isDefined(s) ((s) != (termNodeList) 0)
 
 extern /*@only@*/ termNodeList termNodeList_new(void);