edits

[satune.git] / src / AST / order.cc

diff --git a/src/AST/order.cc b/src/AST/order.cc
index 5d9fc4ebb1a9558371c6dc3cc3de2f531da1b3d8..5e16938fd04edd8b14b95be68eea09ac5270adef 100644 (file)
--- a/src/AST/order.cc
+++ b/src/AST/order.cc
@@ -4,8 +4,13 @@
 #include "boolean.h"
 #include "ordergraph.h"
 
-Order::Order(OrderType _type, Set *_set) : type(_type), set(_set), orderPairTable(NULL), elementTable(NULL), graph(NULL) {
-       initOrderEncoding(&order, this);
+Order::Order(OrderType _type, Set *_set) :
+       type(_type),
+       set(_set),
+       orderPairTable(NULL),
+       elementTable(NULL),
+       graph(NULL),
+       order(this) {
 }
 
 void Order::initializeOrderHashTable() {
@@ -25,7 +30,6 @@ void Order::setOrderEncodingType(OrderEncodingType type) {
 }
 
 Order::~Order() {
-       deleteOrderEncoding(&order);
        if (orderPairTable != NULL) {
                orderPairTable->resetanddelete();
                delete orderPairTable;