X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Forder.c;h=b1b52e3e82df9fc52b4e5099a5f646a041eecec3;hp=b943392f81daba49e02539c46a4e2823f505e08a;hb=5ac7352acbb5931293d51ba80df9d6c9039aa888;hpb=4b6b456a0633dd259ef72e26bd6afa89e712df7b

diff --git a/src/AST/order.c b/src/AST/order.c
index b943392..b1b52e3 100644
--- 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);
 }