X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a469ccf0fcb67590e2954255f5dcc885d5689e60..53a895072e499cd7d36da1469ef159b4b34400e6:/src/mtreader.c

diff --git a/src/mtreader.c b/src/mtreader.c
index 97f4e46..4905bbb 100644
--- a/src/mtreader.c
+++ b/src/mtreader.c
@@ -43,8 +43,7 @@ void mtreader_readFile (cstring infile)
   if (!inputStream_getPath (context_getLarchPath (), sourceFile))
     {
       lldiagmsg
-	(message ("Metastate definition: can't find file %s",
-		  inputStream_fileName (sourceFile)));
+	(message ("Cannot find metastate file: %s", inputStream_fileName (sourceFile)));
       inputStream_free (sourceFile);
       return;
     }