Fixed but with multiple globals clauses reported by Gayath Ratnayaka.

[splint.git] / src / mtreader.c

diff --git a/src/mtreader.c b/src/mtreader.c
index 05568d475fd66bafabadf42e376717f135faf53e..cd27617120428bafdb22e4337767d3c1aff377ca 100644 (file)
--- 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 ();