From: bdemsky <bdemsky@uci.edu>
Date: Tue, 20 Jun 2017 01:59:33 +0000 (-0700)
Subject: Fix delete function
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e2ee7eca424f077666884cc7feec3c8620543a76;p=satune.git

Fix delete function
---

diff --git a/src/csolver.c b/src/csolver.c
index 7a9d1e0..a7af8d3 100644
--- a/src/csolver.c
+++ b/src/csolver.c
@@ -30,33 +30,38 @@ void deleteSolver(CSolver *This) {
 	for(uint i=0;i<size;i++) {
 		deleteBoolean(getVectorBoolean(This->allBooleans, i));
 	}
-
 	deleteVectorBoolean(This->allBooleans);
 
 	size=getSizeVectorSet(This->allSets);
 	for(uint i=0;i<size;i++) {
 		deleteSet(getVectorSet(This->allSets, i));
 	}
-
 	deleteVectorSet(This->allSets);
 
 	size=getSizeVectorElement(This->allElements);
 	for(uint i=0;i<size;i++) {
 		deleteElement(getVectorElement(This->allElements, i));
 	}
+	deleteVectorElement(This->allElements);
+
 	size=getSizeVectorTable(This->allTables);
 	for(uint i=0;i<size;i++) {
 		deleteTable(getVectorTable(This->allTables, i));
 	}
+	deleteVectorTable(This->allTables);
+	
 	size=getSizeVectorPredicate(This->allPredicates);
 	for(uint i=0;i<size;i++) {
 		deletePredicate(getVectorPredicate(This->allPredicates, i));
 	}
+	deleteVectorPredicate(This->allPredicates);
+
 	size=getSizeVectorOrder(This->allOrders);
 	for(uint i=0;i<size;i++) {
 		deleteOrder(getVectorOrder(This->allOrders, i));
 	}
 	deleteVectorOrder(This->allOrders);
+	
 	size=getSizeVectorFunction(This->allFunctions);
 	for(uint i=0;i<size;i++) {
 		deleteFunction(getVectorFunction(This->allFunctions, i));