Towards a bug fix

[satune.git] / src / Encoders / orderencoder.c

diff --git a/src/Encoders/orderencoder.c b/src/Encoders/orderencoder.c
index e330a7abe68ee57be6ab7db35385cbd28656ee81..5a9dcb98ff929edc1cd88643b815795a8deb14b8 100644 (file)
--- a/src/Encoders/orderencoder.c
+++ b/src/Encoders/orderencoder.c
@@ -313,10 +313,10 @@ void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph) {
                OrderEdge *edge = getOrderEdgeFromOrderGraph(graph, from, to);
                if (from->sccNum < to->sccNum) {
                        //replace with true
-                       replaceBooleanWithTrue((Boolean *)orderconstraint);
+                       replaceBooleanWithTrue(This, (Boolean *)orderconstraint);
                } else if (to->sccNum < from->sccNum) {
                        //replace with false
-                       replaceBooleanWithFalse((Boolean *)orderconstraint);
+                       replaceBooleanWithFalse(This, (Boolean *)orderconstraint);
                } else {
                        //Build new order and change constraint's order
                        Order *neworder = NULL;