Committed to enable merge.

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

diff --git a/src/Headers/fileIdList.h b/src/Headers/fileIdList.h
index 0e5b171a62bf6369ab63118139461c0b799057b7..a7c87f53aea6b2a0cecd3d0706f64b339cbc429e 100644 (file)
--- a/src/Headers/fileIdList.h
+++ b/src/Headers/fileIdList.h
@@ -13,7 +13,9 @@
 /*@access ctype fileId ctypeList@*/
 /*@+allmacros@*/
 
-abst_typedef /*@null@*/ ctypeList fileIdList;
+/* in forwardTypes:
+   abst_typedef null ctypeList fileIdList;
+*/
 
 extern /*@falsewhennull@*/ bool fileIdList_isDefined (fileIdList p_f);
 # define fileIdList_isDefined(f)  (ctypeList_isDefined (f))
@@ -27,6 +29,9 @@ extern /*@falsewhennull@*/ bool fileIdList_isDefined (fileIdList p_f);
 
 # define end_fileIdList_elements }}
 
+/*@constant null fileIdList fileIdList_undefined; @*/
+# define fileIdList_undefined      ctypeList_undefined
+
 extern fileIdList fileIdList_create (void);
 # define fileIdList_create()       ctypeList_new()