X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTuner%2Fautotuner.cc;h=3b5f8ccf6441f47ff1297db3a3dca0a8f6434cea;hp=4a35fcd9650298c427e512a26bb47e6a26f2d605;hb=19c299fd9e91386883e788f445d153abfe58430a;hpb=b289a1a05429acdf265f27b89ba75001dbcd19d6

diff --git a/src/Tuner/autotuner.cc b/src/Tuner/autotuner.cc
index 4a35fcd..3b5f8cc 100644
--- a/src/Tuner/autotuner.cc
+++ b/src/Tuner/autotuner.cc
@@ -18,14 +18,14 @@ void AutoTuner::addProblem(CSolver *solver) {
 long long AutoTuner::evaluate(CSolver *problem, SearchTuner *tuner) {
 	CSolver *copy = problem->clone();
 	copy->setTuner(tuner);
-        model_print("**********************\n");
+	model_print("**********************\n");
 	int sat = copy->solve();
-        if(result == UNSETVALUE)
-                result = sat;
-        else if(result != sat){
-                model_print("&&&&&&&&&&&&&&&&&& Result has changed &&&&&&&&&&&&&\n");
-                copy->printConstraints();
-        }
+	if (result == UNSETVALUE)
+		result = sat;
+	else if (result != sat) {
+		model_print("&&&&&&&&&&&&&&&&&& Result has changed &&&&&&&&&&&&&\n");
+		copy->printConstraints();
+	}
 	//model_print("SAT %d\n", result);
 	long long elapsedTime = copy->getElapsedTime();
 //	long long encodeTime = copy->getEncodeTime();