Fixed internal bug that occured when dumping bounds-check annotations involving struc...

[splint.git] / src / constraintExpr.c

diff --git a/src/constraintExpr.c b/src/constraintExpr.c
index 62d8f03aeb9753d858b36d26d7475577d3a8059a..c40a31f2848d4d3b2144e29445d82576068ad77e 100644 (file)
--- a/src/constraintExpr.c
+++ b/src/constraintExpr.c
@@ -2139,6 +2139,10 @@ void  constraintExpr_dump (/*@observer@*/ constraintExpr expr,  FILE *f)
   constraintExprKind kind;
   constraintTerm t;
   
+
+  DPRINTF((message("constraintExpr_dump:: dumping constraintExpr %s",
+                  constraintExpr_unparse(expr)
+                  ) ));
   
   kind = expr->kind;