X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTuner%2Fautotuner.h;h=0346e42f57fe76e99b9dd2e741f65c595956bc6a;hb=2d07df803a81eb59418aae843367fbdb8e519b1a;hp=d9fb430388a377a470dda9fe187790572b3996f1;hpb=d46ee65a6767e2016cab629220a60c3e39b366f1;p=satune.git

diff --git a/src/Tuner/autotuner.h b/src/Tuner/autotuner.h
index d9fb430..0346e42 100644
--- a/src/Tuner/autotuner.h
+++ b/src/Tuner/autotuner.h
@@ -16,5 +16,6 @@ private:
 
 	Vector<CSolver *> solvers;
 	uint budget;
+        int result;
 };
 #endif