Fix tuner issues

[satune.git] / src / Tuner / autotuner.h

diff --git a/src/Tuner/autotuner.h b/src/Tuner/autotuner.h
index 8271008cb74ad4c2ceb560a56a56c49ad564c142..e9c7b40d608258ede13ddfbca78270deb393c536 100644 (file)
--- a/src/Tuner/autotuner.h
+++ b/src/Tuner/autotuner.h
@@ -9,6 +9,7 @@
 class AutoTuner {
 public:
        AutoTuner(uint budget);
 class AutoTuner {
 public:
        AutoTuner(uint budget);

+       virtual ~AutoTuner();

        void addProblem(CSolver *solver);
        virtual void tune();
        CMEMALLOC;
        void addProblem(CSolver *solver);
        virtual void tune();
        CMEMALLOC;