Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/usymtab.h b/src/Headers/usymtab.h
index 09840ae72c2cc860c3723c668224fdfabe197cde..e6a5ada4e1d819dab7bae7160019bd67f5db2984 100644 (file)
--- a/src/Headers/usymtab.h
+++ b/src/Headers/usymtab.h
@@ -394,7 +394,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)