From efc2a0e42452b92cee495c7126fa8f5fc137ca76 Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Mon, 10 Jul 2017 13:53:30 -0700
Subject: [PATCH] Fix leak

---
 src/Backend/inc_solver.c | 1 +
 1 file changed, 1 insertion(+)

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