make range closer to what we'd expect

diff --git a/src/Tuner/tunable.h b/src/Tuner/tunable.h
index 94646b79bed7d9defd79b3cd8e4d0f5c84751b7b..2d18a2da1c41ef5cc672a4bc6a524711d3369801 100644 (file)
--- a/src/Tuner/tunable.h
+++ b/src/Tuner/tunable.h
@@ -38,7 +38,7 @@ public:
 
 static TunableDesc onoff(0, 1, 1);
 static TunableDesc offon(0, 1, 0);
-static TunableDesc proxyparameter(1, 20, 2);
+static TunableDesc proxyparameter(1, 5, 2);
 
 enum Tunables {DECOMPOSEORDER, MUSTREACHGLOBAL, MUSTREACHLOCAL, MUSTREACHPRUNE, OPTIMIZEORDERSTRUCTURE, ORDERINTEGERENCODING, PREPROCESS, NODEENCODING, EDGEENCODING, MUSTEDGEPRUNE, ELEMENTOPT, ELEMENTOPTSETS, PROXYVARIABLE};
 typedef enum Tunables Tunables;