From: bdemsky <bdemsky@uci.edu>
Date: Thu, 20 Jul 2017 22:27:23 +0000 (-0700)
Subject: Fix Leak
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0c272342a9bd9f15d2ea4bf003409fbd83c96c30;p=satune.git

Fix Leak
---

diff --git a/src/Backend/satfuncopencoder.c b/src/Backend/satfuncopencoder.c
index 67441d5..1fc8ae6 100644
--- a/src/Backend/satfuncopencoder.c
+++ b/src/Backend/satfuncopencoder.c
@@ -75,8 +75,10 @@ Edge encodeEnumOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate *
 			}
 		}
 	}
-	if(getSizeVectorEdge(clauses) == 0)
+	if(getSizeVectorEdge(clauses) == 0) {
+		deleteVectorEdge(clauses);
 		return E_False;
+	}
 	Edge cor=constraintOR(This->cnf, getSizeVectorEdge(clauses), exposeArrayEdge(clauses));
 	deleteVectorEdge(clauses);
 	return generateNegation ? constraintNegate(cor) : cor;
@@ -217,4 +219,4 @@ Edge encodeCircuitEquals(SATEncoder * This, BooleanPredicate * constraint) {
 		carray[i]=constraintIFF(This->cnf, ee0->variables[i], ee1->variables[i]);
 	}
 	return constraintAND(This->cnf, numVars, carray);
-}
\ No newline at end of file
+}