From 2d8fba2d9821e0e3da42743dfab59bb3e23b1b8e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Tue, 22 Aug 2017 16:45:29 -0700
Subject: [PATCH] edits

---
 src/Backend/satorderencoder.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Backend/satorderencoder.c b/src/Backend/satorderencoder.c
index c3ee2a2..7d123dd 100644
--- a/src/Backend/satorderencoder.c
+++ b/src/Backend/satorderencoder.c
@@ -35,7 +35,7 @@ Edge getPairConstraint(SATEncoder *This, Order *order, OrderPair *pair) {
 				else if (edge->mustNeg)
 					return E_False;
 			}
-			OrderEdge *invedge=getOrderEdgeFromOrderGraph(graph, first, second);
+			OrderEdge *invedge=getOrderEdgeFromOrderGraph(graph, second, first);
 			if (invedge != NULL) {
 				if (invedge->mustPos)
 					return E_False;
-- 
2.34.1