Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/filelocStack.h b/src/Headers/filelocStack.h
index 067bce85dac3c36ab56dcee477d5bf7bbd1957e2..278b47c30b2c7fd9d171a0fdaf1cff82d5c4e184 100644 (file)
--- a/src/Headers/filelocStack.h
+++ b/src/Headers/filelocStack.h
@@ -15,7 +15,7 @@ abst_typedef /*@null@*/ struct
 /*@constant null filelocStack filelocStack_undefined; @*/
 # define filelocStack_undefined (NULL)
 
-extern /*@falsenull@*/ bool filelocStack_isDefined (filelocStack p_f) /*@*/ ;
+extern /*@falsewhennull@*/ bool filelocStack_isDefined (filelocStack p_f) /*@*/ ;
 # define filelocStack_isDefined(f)   ((f) != filelocStack_undefined)
 
 extern int filelocStack_size (/*@sef@*/ filelocStack p_s) /*@*/ ;