Fix leak

diff --git a/src/Backend/inc_solver.c b/src/Backend/inc_solver.c
index 4e0649a9fa021a2d4cbec668298d2d2aada9531a..307114ef4782acca1ae992328d40a94fba176df9 100644 (file)
--- 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) {