X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8ea5df88d4d589854cfd2cf734e203ce58da744d..909cf5eb75a37820d441f670ee02a6e0c42944fc:/src/llmain.c

diff --git a/src/llmain.c b/src/llmain.c
index a5cd809..7b8ad6f 100644
--- a/src/llmain.c
+++ b/src/llmain.c
@@ -1087,6 +1087,13 @@ int main (int argc, char *argv[])
 	}
 
       cstring_free (specErrors);
+  
+      if (context_numBugs () > 0) {
+	expsuccess = FALSE;
+	if (!isQuiet) {
+	  llmsg (message ("   %d internal bugs reported", context_numBugs ()));
+	}
+      }
   }
   
   if (context_getFlag (FLG_STATS))
@@ -1094,7 +1101,7 @@ int main (int argc, char *argv[])
       clock_t ttime = clock () - before;
       int specLines = context_getSpecLinesProcessed ();
       cstring specmsg = cstring_undefined;
-
+      
       rstime = clock ();
       
       if (specLines > 0)