*** empty log message ***

[splint.git] / src / constraintExpr.c

diff --git a/src/constraintExpr.c b/src/constraintExpr.c
index b3df3ae595d9d3bc2538aa090a2d3e5b78e399d5..d747ad6fcb20a0721cf24be86e5267f69a3e53b5 100644 (file)
--- a/src/constraintExpr.c
+++ b/src/constraintExpr.c
@@ -159,9 +159,7 @@ static bool isZeroBinaryOp (constraintExpr expr)
   else
     BADEXIT;
 
-  constraintExpr_free(expr2);
-
-  
+  /*@i834@*/ constraintExpr_free(expr2);
   
   expr->data = constraintExprData_binaryExprSetExpr2(expr->data, temp);
   expr->data = constraintExprData_binaryExprSetOp(expr->data, op);
@@ -470,7 +468,6 @@ constraintExpr constraintExpr_makeExprNode (exprNode e)
   return ret;
 }
 
-
 /*@only@*/  constraintExpr constraintExpr_makeTermExprNode (/*@exposed@*/ exprNode e)
 {
   return  oldconstraintExpr_makeTermExprNode(e); //constraintExpr_makeExprNode (e);