Committed to enable merge.

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index 95c9621ed0c1a1632f5c3ca5d192923fb8d982fa..067128dde6c7fc06640c319e68d2e587b849ffc1 100644 (file)
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -173,16 +173,7 @@ void llerror_flagWarning (cstring s)
 {
   if (context_getFlag (FLG_WARNFLAGS))
     {
-      showHerald ();
-
-      if (fileloc_isBuiltin (g_currentloc))
-       {
-         llmsg (message ("Warning: %q", s));
-       }
-      else
-       {
-         llgenmsg (message ("Warning: %q", s), g_currentloc);
-       }
+      llgenmsg (s, g_currentloc);
     }
   else
     {