edits

diff --git a/src/Backend/satorderencoder.c b/src/Backend/satorderencoder.c
index c3ee2a2838db9b867132d3e88b55ad9d7f42e3ce..7d123dd3c9dc96d39a7c7f825d311beeae35ae3e 100644 (file)
--- 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;
                        }
                                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;
                        if (invedge != NULL) {
                                if (invedge->mustPos)
                                        return E_False;