X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcsolver.c;h=7a9d1e0d2870ce3c87d4adf828fc9665655af3a4;hp=62f4acdeaf472e3bc6b274698fba7d0c6bfeba1b;hb=c507619d06bc6fbddc5fc26016be9bb47daa0ae0;hpb=5249fbe7415e60c2e0411c64031d8a60aa7cd09f

diff --git a/src/csolver.c b/src/csolver.c
index 62f4acd..7a9d1e0 100644
--- a/src/csolver.c
+++ b/src/csolver.c
@@ -61,7 +61,7 @@ void deleteSolver(CSolver *This) {
 	for(uint i=0;i<size;i++) {
 		deleteFunction(getVectorFunction(This->allFunctions, i));
 	}
-	deleteVectorOrder(This->allFunctions);
+	deleteVectorFunction(This->allFunctions);
 	ourfree(This);
 }