X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/155af98de2d41917730964947d990b7fb70ddc01..b87215ab641c38a5509a608751384ebb9f4f8bf9:/src/mtreader.c

diff --git a/src/mtreader.c b/src/mtreader.c
index 05568d4..cd27617 100644
--- a/src/mtreader.c
+++ b/src/mtreader.c
@@ -71,11 +71,7 @@ void mtreader_readFile (cstring infile)
     }
 
   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 ();