** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
-** For information on splint: splint@cs.virginia.edu
-** To report a bug: splint-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
*/
/*
{
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);
}
}