Merged code tree with Dave Evans's version. Many changes to numberous to list....

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

diff --git a/src/Headers/filelocList.h b/src/Headers/filelocList.h
index e4e1efa5caeee38004580e3ec9b0ebd7956698fa..ff1df1949e75a8da8fc685f0820c3e2f91ce22b7 100644 (file)
--- a/src/Headers/filelocList.h
+++ b/src/Headers/filelocList.h
@@ -5,7 +5,7 @@
 # ifndef filelocLIST_H
 # define filelocLIST_H
 
-abst_typedef /*@null@*/ struct _filelocList
+abst_typedef /*@null@*/ struct
 {
   int nelements;
   int free;