]> andersk Git - splint.git/blobdiff - src/Headers/qualList.h
Merged code tree with Dave Evans's version. Many changes to numberous to list....
[splint.git] / src / Headers / qualList.h
index ee58e6e241dfcf7d7f544c79c2f7938249e78dc9..8e80eb701d70acede7a695cd44585f805971af77 100644 (file)
@@ -5,7 +5,7 @@
 # ifndef QUALLIST_H
 # define QUALLIST_H
 
-abst_typedef /*@null@*/ struct _qualList
+abst_typedef /*@null@*/ struct 
 {
   int nelements;
   int free;
@@ -59,7 +59,8 @@ extern bool qualList_hasExposureQualifier (qualList p_s);
 
 /* start modifications */
 extern bool qualList_hasNullTerminatedQualifier(qualList p_s);
-//extern bool qualList_hasBufQualifiers(qualList p_s);
+
+extern bool qualList_hasBufQualifiers(qualList p_s);
 
 # define qualList_hasBufQualifiers(p_s) \
   (qualList_hasNullTerminatedQualifier(p_s))
This page took 0.033118 seconds and 4 git commands to generate.