X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTuner%2Fautotuner.h;h=e9c7b40d608258ede13ddfbca78270deb393c536;hp=8271008cb74ad4c2ceb560a56a56c49ad564c142;hb=298685f6683d3a323968cb22810b134472dacdfa;hpb=6e6cd462b9993f07c5e0e34402106b0cbcdad05b;ds=sidebyside

diff --git a/src/Tuner/autotuner.h b/src/Tuner/autotuner.h
index 8271008..e9c7b40 100644
--- a/src/Tuner/autotuner.h
+++ b/src/Tuner/autotuner.h
@@ -9,6 +9,7 @@
 class AutoTuner {
 public:
 	AutoTuner(uint budget);
+	virtual ~AutoTuner();
 	void addProblem(CSolver *solver);
 	virtual void tune();
 	CMEMALLOC;