** 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
*/
/*
}
context_setFileId (fid);
-
- if (context_getFlag (FLG_SHOWSCAN))
- {
- lldiagmsg (message ("< reading metastate %s >", fname));
- }
+ displayScan (message ("reading metastate %s", fname));
mtscanner_reset (sourceFile);
context_enterMTfile ();