From e2ee7eca424f077666884cc7feec3c8620543a76 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Mon, 19 Jun 2017 18:59:33 -0700
Subject: [PATCH] Fix delete function

---
 src/csolver.c | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

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));
-- 
2.34.1