Fixed manual csvoverwrite.

[splint.git] / src / usymtab.c

diff --git a/src/usymtab.c b/src/usymtab.c
index 0243fb34d8ed02ae097ae54bbb7baacba4d78450..7a3a0974c7bca4b0d4e5b2b5687125d90f24692c 100644 (file)
--- a/src/usymtab.c
+++ b/src/usymtab.c
@@ -2749,6 +2749,10 @@ usymtab_popAndBranch (exprNode pred, /*@unused@*/ exprNode expr)
        }
     }
 
+  DPRINTF (("Popping and: %s / %s",
+           guardSet_unparse (utab->guards),
+           guardSet_unparse (exprNode_getGuards (pred))));
+
   utab->guards = guardSet_levelUnionFree (utab->guards, 
                                          guardSet_invert (exprNode_getGuards (pred)), 
                                          utab->lexlevel);