Fixed problem with NULL being changed.

[splint.git] / src / uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 5619532741f35f1d53690593bed2979fd835738c..7de5a8f76e9ad8055ff7d42110a5b0113b62985f 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -3357,7 +3357,6 @@ uentry uentry_makeVariableAux (cstring n, ctype t,
       sRef_setStateFromType (e->sref, rt);
     }
 
-  DPRINTF (("Here we are: %s", sRef_unparseFull (e->sref)));
   e->info->var->defstate = sRef_getDefState (e->sref);  
   e->info->var->nullstate = sRef_getNullState (e->sref);
 
@@ -3378,6 +3377,8 @@ uentry uentry_makeVariableAux (cstring n, ctype t,
     }/* end else */
   /* end modification */
 
+  DPRINTF (("New variable: %s", sRef_unparseFull (e->sref)));
+
   return (e);
 }