Renamed truenull nullwhentrue and falsenull falsewhennull

[splint.git] / src / Headers / usymtab-branch.h

diff --git a/src/Headers/usymtab-branch.h b/src/Headers/usymtab-branch.h
index 2eae7a32ff41275e31ba1d38a38a9c3d585bfe30..94016430d6c9d8d87353a09fe9f2eb0bf0e65735 100644 (file)
--- a/src/Headers/usymtab-branch.h
+++ b/src/Headers/usymtab-branch.h
@@ -414,7 +414,7 @@ extern void usymtab_popCaseBranch (void)
 /*@constant int functionScope;@*/
 # define functionScope 3
 
-extern /*@falsenull@*/ bool usymtab_isDefined (usymtab p_u) /*@*/ ;
+extern /*@falsewhennull@*/ bool usymtab_isDefined (usymtab p_u) /*@*/ ;
 
 /*@constant null usymtab usymtab_undefined; @*/
 # define usymtab_undefined ((usymtab)NULL)