Bug was introduced in proxy variable changes

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index 52cc8dc82edd279501a60fcd6bfd573a75e50be0..b13541d63c3f7411964f3b2c38f29eff24f23999 100644 (file)
--- 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;