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

diff --git a/src/context.c b/src/context.c
index 2eee86b..6493cc1 100644
--- a/src/context.c
+++ b/src/context.c
@@ -1579,7 +1579,7 @@ context_enterUnknownMacro (/*@dependent@*/ uentry e)
 
 void context_enterAndClause (exprNode e)
 {
-  
+  DPRINTF (("enter and clause: %s", exprNode_unparse (e)));
   usymtab_trueBranch (guardSet_copy (exprNode_getGuards (e)));
   pushClause (ANDCLAUSE);
 }