*** empty log message ***

[splint.git] / src / cgrammar.y

diff --git a/src/cgrammar.y b/src/cgrammar.y
index 9fa5b81eb5f33af8c1e00383db1288c2d5b8bbcf..beb4d3b98451749850883bfac4b0ffb9e4f66106 100644 (file)
--- a/src/cgrammar.y
+++ b/src/cgrammar.y
@@ -1076,11 +1076,13 @@ conditionClausePlain
        {
         BADBRANCH;
        }
+
+     DPRINTF (("FunctionclauseS: %s", functionClause_unparse ($$)));
    }
 
 functionConstraint
  : BufConstraintList   { $$ = functionConstraint_createBufferConstraint ($1); }
- | metaStateConstraint { $$ = functionConstraint_createMetaStateConstraint ($1); } 
+ | metaStateConstraint { $$ = functionConstraint_createMetaStateConstraint ($1); DPRINTF (("Made constraint: %s", functionConstraint_unparse ($$))); } 
  
 exitsQualifier
  : QEXITS        { $$ = qual_createExits (); }