Fix MC_Equals to handle NODEP MCIDs.

[satcheck.git] / constgen.cc

diff --git a/constgen.cc b/constgen.cc
index 368cb6823d8cce01715fd4723478953b8fbddd3a..27c17fb37643b5ffe2ea58ff60bdd7e0600287f1 100644 (file)
--- a/constgen.cc
+++ b/constgen.cc
@@ -1763,6 +1763,7 @@ void ConstGen::processEquals(EPRecord *record) {
                Constraint *l2=getRetValueEncoding(r, constval);
                Constraint *functionimplication2=new Constraint(IMPLIES, outputtrue, l2);
                ADDCONSTRAINT(functionimplication2,"equalsimpl");
+        return;
        }
 
        IntIterator *iit=record->getSet(VC_BASEINDEX)->iterator();