Saving the best tuner settings + bug fixes

[satune.git] / src / Tuner / tunable.cc

diff --git a/src/Tuner/tunable.cc b/src/Tuner/tunable.cc
index a57a601d9643e667fa4fc16c365ca75c3a76eaac..e7c2d33cd77adbc3ad4f110281f0a203b348637e 100644 (file)
--- a/src/Tuner/tunable.cc
+++ b/src/Tuner/tunable.cc
@@ -37,6 +37,12 @@ const char* tunableParameterToString(Tunables tunable){
                         return "EDGEENCODING";
                 case MUSTEDGEPRUNE:
                         return "MUSTEDGEPRUNE";
+               case ELEMENTOPT: 
+                       return "ELEMENTOPT";
+               case ELEMENTOPTSETS:
+                       return "ELEMENTOPTSETS";
+               case PROXYVARIABLE:
+                       return "PROXYVARIABLE";
                 default:
                         ASSERT(0);
         }