Bug fix for serializer + adding more debug info inr printing functions

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 160e6867f854c7abb42a646521782cd576a69d0f..e844e792eb305c4cc1c53cb59022326de8a71113 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -40,6 +40,7 @@ CSolver::CSolver() :
 /** This function tears down the solver and the entire AST */
 
 CSolver::~CSolver() {
+       serialize();
        uint size = allBooleans.getSize();
        for (uint i = 0; i < size; i++) {
                delete allBooleans.get(i);