From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Fri, 7 Dec 2018 01:26:08 +0000 (-0800)
Subject: Bug fix ...
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=2144ba627a52cbf8728ce80f40ef4a99ca759395

Bug fix ...
---

diff --git a/src/Tuner/searchtuner.cc b/src/Tuner/searchtuner.cc
index b3c549a..373fc4c 100644
--- a/src/Tuner/searchtuner.cc
+++ b/src/Tuner/searchtuner.cc
@@ -86,7 +86,6 @@ SearchTuner::SearchTuner(const char *filename) {
 			}
 			setting->setDecision(lowValue, highValue, defaultValue, selectedValue);
 			settings.add(setting);
-			usedSettings.add(setting);
 		}
 		myfile.close();
 	} else {