From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 17 Oct 2018 22:53:30 +0000 (-0700)
Subject: Edit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3e492a6164d89275fcfe9455b70c427425fe8973;p=satune.git

Edit
---

diff --git a/src/Tuner/multituner.cc b/src/Tuner/multituner.cc
index a59d3e1..3961d2b 100644
--- a/src/Tuner/multituner.cc
+++ b/src/Tuner/multituner.cc
@@ -234,7 +234,7 @@ void MultiTuner::tuneComp() {
 					if (tuner->getTime(problem) == -1) {
 						tuner->problems.push(problem);
 					}
-					LOG("%u.Problem<%s>\tTuner<%d\tMetric<%lld>\n", i, problem->problem,tuner->tunernumber, metric);
+					LOG("%u.Problem<%s>\tTuner<%d>\tMetric<%lld>\n", i, problem->problem,tuner->tunernumber, metric);
 					LOG("*****************************\n");
 					if (metric != -1)
 						tuner->setTime(problem, metric);