X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatfuncopencoder.cc;h=1fea1a58f41ebf23391bba824a6744bc84662ae8;hp=79b13033ebdc40f4ffd82963ac83885d936f3cdc;hb=c0c4f17e45f0e5b7881a9f041a4cd5e09f3276ba;hpb=d7ac61501176eddf35c154d3bbd2b87c566b60ce

diff --git a/src/Backend/satfuncopencoder.cc b/src/Backend/satfuncopencoder.cc
index 79b1303..1fea1a5 100644
--- a/src/Backend/satfuncopencoder.cc
+++ b/src/Backend/satfuncopencoder.cc
@@ -190,8 +190,8 @@ void SATEncoder::encodeOperatorElementFunctionSATEncoder(ElementFunction *func)
 		deleteVectorEdge(clauses);
 		return;
 	}
-	Edge cor = constraintAND(cnf, getSizeVectorEdge(clauses), exposeArrayEdge(clauses));
-	addConstraintCNF(cnf, cor);
+	Edge cand = constraintAND(cnf, getSizeVectorEdge(clauses), exposeArrayEdge(clauses));
+	addConstraintCNF(cnf, cand);
 	deleteVectorEdge(clauses);
 }