X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTuner%2Ftunable.h;h=d88f2c7c36fcdaf762cbe9d8189ae2d96dd32133;hp=fcc97be9e8295b63401073138c5dcd993e7afb26;hb=666e594b6eb2aee28deaa02802141639569dfc89;hpb=f774755b299ad524986c4bf628dbbed47a572a65

diff --git a/src/Tuner/tunable.h b/src/Tuner/tunable.h
index fcc97be..d88f2c7 100644
--- a/src/Tuner/tunable.h
+++ b/src/Tuner/tunable.h
@@ -39,7 +39,7 @@ public:
 static TunableDesc onoff(0, 1, 1);
 static TunableDesc offon(0, 1, 0);
 
-enum Tunables {DECOMPOSEORDER, MUSTREACHGLOBAL, MUSTREACHLOCAL, MUSTREACHPRUNE, OPTIMIZEORDERSTRUCTURE, ORDERINTEGERENCODING, PREPROCESS, NODEENCODING, EDGEENCODING, MUSTEDGEPRUNE};
+enum Tunables {DECOMPOSEORDER, MUSTREACHGLOBAL, MUSTREACHLOCAL, MUSTREACHPRUNE, OPTIMIZEORDERSTRUCTURE, ORDERINTEGERENCODING, PREPROCESS, NODEENCODING, EDGEENCODING, MUSTEDGEPRUNE, ELEMENTOPT};
 typedef enum Tunables Tunables;
 
 const char* tunableParameterToString(Tunables tunable);