X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/28bf4b0bfd405a2057d865910f8589c54a40f17b..112c85fd5ba63bbf83526cdadfc7751b2cf74311:/src/Headers/intSet.h?ds=sidebyside diff --git a/src/Headers/intSet.h b/src/Headers/intSet.h index db5e9aa..2d1ce70 100644 --- 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