X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTuner%2Fautotuner.cc;h=1bf29d82cb2e46a89fa6c9bbfaf29103d4b219b3;hp=b769993e0205af0fb33b3fedb4b30478dfc55de0;hb=298685f6683d3a323968cb22810b134472dacdfa;hpb=6e6cd462b9993f07c5e0e34402106b0cbcdad05b

diff --git a/src/Tuner/autotuner.cc b/src/Tuner/autotuner.cc
index b769993..1bf29d8 100644
--- a/src/Tuner/autotuner.cc
+++ b/src/Tuner/autotuner.cc
@@ -11,6 +11,8 @@ AutoTuner::AutoTuner(uint _budget) :
 	budget(_budget), result(UNSETVALUE) {
 }
 
+AutoTuner::~AutoTuner() {}
+
 void AutoTuner::addProblem(CSolver *solver) {
 	solvers.push(solver);
 }