Created html faq file to replace the faq.txt

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

diff --git a/src/Headers/intSet.h b/src/Headers/intSet.h
index db5e9aadd2a882e2338cf005e28ff7f5ce676d98..2d1ce70a18cafa2e3d2abf8b280087062b89ca66 100644 (file)
--- a/src/Headers/intSet.h
+++ b/src/Headers/intSet.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -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