]> andersk Git - splint.git/blobdiff - src/context.c
Fixed manual csvoverwrite.
[splint.git] / src / context.c
index 2eee86bdff7f8335ddcc18cf096580b284650482..6493cc1b5b8a75c190458eb4f8a00cfa9a1bb23f 100644 (file)
@@ -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);
 }
This page took 0.057326 seconds and 4 git commands to generate.