** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
-** For information on lclint: lclint-request@cs.virginia.edu
-** To report a bug: lclint-bug@cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
** For more information: http://www.splint.org
*/
/*
** typeIdSet.c
*/
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "basic.h"
/*@constant int TISTABLEBASESIZE;@*/
{
cstring s = usymIdSet_unparse (tistable[i]);
- fprintf (g_msgstream, "%d: %s\n", i, cstring_toCharsSafe (s));
+ fprintf (g_warningstream, "%d: %s\n", i, cstring_toCharsSafe (s));
cstring_free (s);
}
}