Fix some of the memory leaks

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

diff --git a/src/AST/order.c b/src/AST/order.c
index b943392f81daba49e02539c46a4e2823f505e08a..b1b52e3e82df9fc52b4e5099a5f646a041eecec3 100644 (file)
--- a/src/AST/order.c
+++ b/src/AST/order.c
@@ -29,7 +29,9 @@ void setOrderEncodingType(Order* order, OrderEncodingType type){
 void deleteOrder(Order* order){
        deleteVectorArrayBoolean(& order->constraints);
        deleteOrderEncoding(& order->order);
-       if(order->boolsToConstraints!= NULL)
+       if(order->boolsToConstraints!= NULL) {
+               resetAndDeleteHashTableBoolConst(order->boolsToConstraints);
                deleteHashTableBoolConst(order->boolsToConstraints);
+       }
        ourfree(order);
 }