Fixed unsignedcompare test. Removed diag for unclosed files.

[splint.git] / src / mtreader.c

diff --git a/src/mtreader.c b/src/mtreader.c
index b069fbe1c95e8a8d886e82640fcb993a9f1bc727..97f4e46cf64371c1afee72df11d7d7b7380d16b8 100644 (file)
--- a/src/mtreader.c
+++ b/src/mtreader.c
@@ -83,7 +83,7 @@ void mtreader_readFile (cstring infile)
   (void) mtparse ();
   context_exitMTfile ();
 
-  inputStream_close (sourceFile);
+  check (inputStream_close (sourceFile));
   inputStream_free (sourceFile);
 }