noexpand always false.

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

diff --git a/src/Headers/filelocList.h b/src/Headers/filelocList.h
index 3a734372662736fe7af48f7dcbb7c39f47d62207..c14eb65d8a3d433c04fc43e93a2c97909cd79358 100644 (file)
--- a/src/Headers/filelocList.h
+++ b/src/Headers/filelocList.h
@@ -12,9 +12,9 @@ abst_typedef /*@null@*/ struct
   /*@reldef@*/ /*@relnull@*/ o_fileloc *elements;
 } *filelocList ;
 
-extern /*@unused@*/ /*@truenull@*/ bool
+extern /*@unused@*/ /*@nullwhentrue@*/ bool
   filelocList_isUndefined (filelocList p_f) /*@*/ ;
-extern /*@falsenull@*/ bool filelocList_isDefined (filelocList p_f);
+extern /*@falsewhennull@*/ bool filelocList_isDefined (filelocList p_f);
 
 /*@constant null filelocList filelocList_undefined; @*/
 # define filelocList_undefined (NULL)