Fix Leak

diff --git a/src/Backend/satfuncopencoder.c b/src/Backend/satfuncopencoder.c
index 67441d531ab2d7b477e822135fe901852412300d..1fc8ae67815c763bcc70d4794b71432943789ebb 100644 (file)
--- 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
+}