Committed my changes (but there are several splintme errors currently).

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

diff --git a/src/Headers/qualList.h b/src/Headers/qualList.h
index 3a2c32d5edddca5d85e0dc9ead728ebb4cdef5e1..68e2b688e8faab4c3bd6b0fdccbddaaccf44e73d 100644 (file)
--- a/src/Headers/qualList.h
+++ b/src/Headers/qualList.h
@@ -47,10 +47,8 @@ extern /*@only@*/ cstring qualList_unparse (qualList p_s) /*@*/ ;
 extern void qualList_free (/*@only@*/ qualList p_s) ;
 extern qualList qualList_appendList (/*@returned@*/ qualList p_s, qualList p_t);
 
-# ifndef NOLCL
 extern qualList qualList_copy (qualList p_s);
 extern /*@only@*/ cstring qualList_toCComments (qualList p_s);
-# endif
 
 extern void qualList_clear (qualList p_q);