X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e0a05ba95145c0c1714b0c9a3e7eaf91a8ffc33b..10fac4bc6190bcda80bf75e7267cb456e5a8b772:/src/usymtab.c

diff --git a/src/usymtab.c b/src/usymtab.c
index 0243fb3..7a3a097 100644
--- 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);