Changed checking of complete descruction so +strictdestroy is no

[splint.git] / src / llmain.c

diff --git a/src/llmain.c b/src/llmain.c
index 095dd2518cd577c296c140996bb5a1449a7e60e2..83c026fe9b55c291cee37657390030c150898086 100644 (file)
--- a/src/llmain.c
+++ b/src/llmain.c
@@ -1537,7 +1537,7 @@ int main (int argc, char *argv[])
              }
            else
              {
-               specErrors = message ("%d spec warning%& found\n       ",
+               specErrors = message ("%d spec warning%&\n       ",
                                      nspecErrors);
                expsuccess = FALSE;
              }
@@ -1584,7 +1584,7 @@ int main (int argc, char *argv[])
                  if (!isQuiet)
                    {
                      llmsg (message ("Finished checking --- "
-                                     "%s%d code warning%& found", 
+                                     "%s%d code warning%&", 
                                      specErrors, context_numErrors ()));
                    }