Improved tracking of state change locations. Added +showdeephistory

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index 67366586385c1014deb9ba3aa36d9995964abf72..99d6ce85ac131404327c8bab811cea4482a3d9c0 100644 (file)
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -595,9 +595,12 @@ void
 llgenindentmsg (/*@only@*/ cstring s, fileloc fl)
 {
   cstring flstring = fileloc_unparse (fl);
-
+  int indentspaces = context_getLocIndentSpaces ();
   prepareMessage ();
-  (void) printIndentMessage (g_warningstream, message ("%q: %q", flstring, s), context_getIndentSpaces ());
+  
+  (void) printIndentMessage (g_warningstream, message ("%q: %q", flstring, s),
+                            indentspaces);
+
   closeMessage ();
 }