From: Brian Demsky <bdemsky@uci.edu>
Date: Mon, 10 Jul 2017 20:53:30 +0000 (-0700)
Subject: Fix leak
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=efc2a0e42452b92cee495c7126fa8f5fc137ca76;p=satune.git

Fix leak
---

diff --git a/src/Backend/inc_solver.c b/src/Backend/inc_solver.c
index 4e0649a..307114e 100644
--- a/src/Backend/inc_solver.c
+++ b/src/Backend/inc_solver.c
@@ -27,6 +27,7 @@ void deleteIncrementalSolver(IncrementalSolver * This) {
 	ourfree(This->buffer);
 	if (This->solution != NULL)
 		ourfree(This->solution);
+	ourfree(This);
 }
 
 void resetSolver(IncrementalSolver * This) {