*** empty log message ***

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

diff --git a/src/Headers/filelocList.h b/src/Headers/filelocList.h
index e4e1efa5caeee38004580e3ec9b0ebd7956698fa..3a734372662736fe7af48f7dcbb7c39f47d62207 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;
@@ -40,6 +40,7 @@ extern bool filelocList_isEmpty (/*@sef@*/ filelocList p_s);
 
 extern filelocList 
   filelocList_append (/*@returned@*/ filelocList p_s, /*@only@*/ filelocList p_t);
+
 extern /*@only@*/ filelocList filelocList_new (void) /*@*/ ;
 extern filelocList 
   filelocList_add (/*@returned@*/ filelocList p_s, /*@only@*/ fileloc p_el)