X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Fbug1.cc;h=52707c5da14f837c631f792b9182a05a09f7d3f4;hp=c628257abd8236c425fc7e63f3208dc2868bd1fa;hb=a23c7844200dd932154196ac6b8b107e43d5e092;hpb=03d1753c5ece0951cf03faf4cedc5552c697bf9c

diff --git a/src/Test/bug1.cc b/src/Test/bug1.cc
index c628257..52707c5 100644
--- a/src/Test/bug1.cc
+++ b/src/Test/bug1.cc
@@ -70,8 +70,8 @@ int main(int numargs, char **argv) {
         BooleanEdge v11 = solver->getBooleanVar(0);
         BooleanEdge v12 = solver->getBooleanVar(0);
         solver->addConstraint(
-                solver->applyLogicalOperation(SATC_IMPLIES, 
-                solver->applyLogicalOperation(SATC_AND, v10, v11),
+                solver->applyLogicalOperation(SATC_OR, 
+                solver->applyLogicalOperation(SATC_OR, v10, v11),
                 solver->applyLogicalOperation(SATC_IFF, v1, v12)));
         BooleanEdge b48 =  solver->orderConstraint(order, 4, 8);
         solver->addConstraint(