X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=constgen.cc;h=27c17fb37643b5ffe2ea58ff60bdd7e0600287f1;hb=b394fb6e65b7bc1ddaaecd7a916c354a1464cb5c;hp=368cb6823d8cce01715fd4723478953b8fbddd3a;hpb=c8a74edea90ccd70bc7de522a2ffe0530d3d3793;p=satcheck.git

diff --git a/constgen.cc b/constgen.cc
index 368cb68..27c17fb 100644
--- 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();