*** empty log message ***

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

diff --git a/src/Headers/filelocList.h b/src/Headers/filelocList.h
index ff1df1949e75a8da8fc685f0820c3e2f91ce22b7..3a734372662736fe7af48f7dcbb7c39f47d62207 100644 (file)
--- a/src/Headers/filelocList.h
+++ b/src/Headers/filelocList.h
@@ -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)