From 0c272342a9bd9f15d2ea4bf003409fbd83c96c30 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Thu, 20 Jul 2017 15:27:23 -0700
Subject: [PATCH] Fix Leak

---
 src/Backend/satfuncopencoder.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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
+}
-- 
2.34.1