Correct test case

diff --git a/src/Test/bug1.cc b/src/Test/bug1.cc
index c628257abd8236c425fc7e63f3208dc2868bd1fa..52707c5da14f837c631f792b9182a05a09f7d3f4 100644 (file)
--- 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(