From 85b31124a07fa30111bda10f2ed958420f7ff575 Mon Sep 17 00:00:00 2001
From: Paul Jungeblut <paul.jungeblut@gmail.com>
Date: Thu, 20 Jul 2017 11:28:29 +0200
Subject: Removing unnecessary implication in OR-case

---
 graph/2sat.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'graph')

diff --git a/graph/2sat.cpp b/graph/2sat.cpp
index 99df78c..ab38b02 100644
--- a/graph/2sat.cpp
+++ b/graph/2sat.cpp
@@ -14,7 +14,7 @@ struct sat2 {
 		adjlist[1^v2].push_back(1^v1);
 	}
 	void addEquiv(int v1, int v2) { addImpl(v1, v2); addImpl(v2, v1); }
-	void addOr(int v1, int v2) { addImpl(1^v1, v2); addImpl(1^v2, v1); }
+	void addOr(int v1, int v2) { addImpl(1^v1, v2); }
 	void addXor(int v1, int v2) { addOr(v1, v2); addOr(1^v1, 1^v2); }
 	void addTrue(int v1) { addImpl(1^v1, v1); }
 	void addFalse(int v1) { addTrue(1^v1); }
-- 
cgit v1.2.3