From: bdemsky <bdemsky@uci.edu>
Date: Thu, 2 Aug 2018 23:29:45 +0000 (-0700)
Subject: Bug was introduced in proxy variable changes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ca8d8a586f64af922025ab69de7b853b5f331a49;p=satune.git

Bug was introduced in proxy variable changes
---

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index 52cc8dc..b13541d 100644
--- a/src/Backend/satencoder.cc
+++ b/src/Backend/satencoder.cc
@@ -80,8 +80,6 @@ Edge SATEncoder::encodeConstraintSATEncoder(BooleanEdge c) {
 		generateProxy(cnf, result, e, p);
 		booledgeMap.put(constraint, e.node_ptr);
 		result = e;
-	} else{
-		booledgeMap.put(constraint, result.node_ptr);
 	}
 
 	return c.isNegated() ? constraintNegate(result) : result;