Added doc/ directory

[splint.git] / src / mtreader.c

diff --git a/src/mtreader.c b/src/mtreader.c
index 97f4e46cf64371c1afee72df11d7d7b7380d16b8..4905bbb1c35c5bba5fe11b477885fb18f67ff246 100644 (file)
--- 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;
     }