From ca8d8a586f64af922025ab69de7b853b5f331a49 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Thu, 2 Aug 2018 16:29:45 -0700
Subject: [PATCH] Bug was introduced in proxy variable changes

---
 src/Backend/satencoder.cc | 2 --
 1 file changed, 2 deletions(-)

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;
-- 
2.34.1