fix tuner situation

[satune.git] / src / Test / deserializerun.cc

diff --git a/src/Test/deserializerun.cc b/src/Test/deserializerun.cc
index 1b7371b45b80714798ccd32c0725dba544a517df..bbfaab569b77144cde23c3eddd6b52c55673c0fb 100644 (file)
--- a/src/Test/deserializerun.cc
+++ b/src/Test/deserializerun.cc
@@ -28,5 +28,6 @@ int main(int argc, char **argv) {
        tuner->serializeUsed(buffer);
 
        delete solver;
+       delete tuner;
        return 0;
 }