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

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

diff --git a/src/Headers/intSet.h b/src/Headers/intSet.h
index db5e9aadd2a882e2338cf005e28ff7f5ce676d98..97014740db306523e324a0ba2e78e6dd01b2454a 100644 (file)
--- a/src/Headers/intSet.h
+++ b/src/Headers/intSet.h
@@ -39,9 +39,7 @@ extern /*@unused@*/ bool intSet_member (intSet p_s, int p_el);
 extern /*@only@*/ /*@unused@*/ cstring intSet_unparse (intSet p_s);
 extern void intSet_free (/*@only@*/ intSet p_s);
 
-# ifndef NOLCL
 extern /*@only@*/ cstring intSet_unparseText (intSet p_s);
-# endif
 
 /*@constant int intSetBASESIZE;@*/
 # define intSetBASESIZE SMALLBASESIZE