Renamed truenull nullwhentrue and falsenull falsewhennull

[splint.git] / src / cstringTable.c

diff --git a/src/cstringTable.c b/src/cstringTable.c
index 1fb90c128b9f953ba8443cc2875d1051702cdba0..0f5f970eba00a17c07ce1490361ac73ea21fced1 100644 (file)
--- a/src/cstringTable.c
+++ b/src/cstringTable.c
@@ -44,7 +44,7 @@ static void
 cstringTable_addEntry (/*@notnull@*/ cstringTable p_h, /*@only@*/ hentry p_e) 
      /*@modifies p_h@*/ ;
 
-static /*@truenull@*/ bool hbucket_isNull (/*@null@*/ hbucket h) 
+static /*@nullwhentrue@*/ bool hbucket_isNull (/*@null@*/ hbucket h) 
 { 
   return (h == hbucket_undefined); 
 }