Fix tuner issues
[satune.git] / src / Tuner / autotuner.h
index 8271008..e9c7b40 100644 (file)
@@ -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;