From a23c7844200dd932154196ac6b8b107e43d5e092 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Tue, 17 Oct 2017 19:10:55 -0700
Subject: [PATCH 1/1] Correct test case

---
 src/Test/bug1.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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(
-- 
2.34.1