edits

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

diff --git a/src/Encoders/orderencoder.cc b/src/Encoders/orderencoder.cc
index 9a5a42f684bdc2e5e9f6f94d1e6b609cce69b0df..42ac5aa07b027cff094e3b60a2b9cdd062af6aeb 100644 (file)
--- a/src/Encoders/orderencoder.cc
+++ b/src/Encoders/orderencoder.cc
@@ -405,7 +405,7 @@ void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph) {
                                neworder = getVectorOrder(&ordervec, from->sccNum);
                        if (neworder == NULL) {
                                Set *set = (Set *) allocMutableSet(order->set->type);
-                               neworder = allocOrder(order->type, set);
+                               neworder = new Order(order->type, set);
                                pushVectorOrder(This->allOrders, neworder);
                                setExpandVectorOrder(&ordervec, from->sccNum, neworder);
                                if (order->type == PARTIAL)
@@ -427,7 +427,7 @@ void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph) {
                                        setExpandVectorOrder(&partialcandidatevec, from->sccNum, NULL);
                        }
                        orderconstraint->order = neworder;
-                       addOrderConstraint(neworder, orderconstraint);
+                       neworder->addOrderConstraint(orderconstraint);
                }
        }