Fixed internal errors for field assignments --- this is a temporary fix,

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index 3b00e7e19bd30e7a6f1c86ddbd2c8ce4b773eb9f..7198b287c4406c7ec337dad2ea101cc92ff151ae 100644 (file)
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -1380,6 +1380,7 @@ void llbugaux (cstring file, int line, /*@only@*/ cstring s)
     }
 
   (void) fflush (g_msgstream);
+
   printError (stderr, message ("%q: *** Internal Bug at %q: %q [errno: %d]",
                               fileloc_unparse (g_currentloc),
                               fileloc_unparseRaw (file, line),