Improved tracking of state change locations. Added +showdeephistory

[splint.git] / src / constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index 28f2de5c2cf12dd428d292c01f7dbe98e09950cb..e49f75d96143b42e94ff2493f4429a9924a4598a 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -651,7 +651,7 @@ void constraintTerm_dump (/*@observer@*/ constraintTerm t,  FILE *f)
 
            ostr2 = str2;
            t = ctype_undump(&str2) ;
-           s = sRef_makeParam (param, t, stateInfo_makeLoc (g_currentloc));
+           s = sRef_makeParam (param, t, stateInfo_makeLoc (g_currentloc, SA_CREATED));
            free (ostr2);
          }
        else if (strcmp (term, "sRef_dump" ) == 0 )