From: bdemsky <bdemsky@uci.edu>
Date: Wed, 17 Oct 2018 22:38:07 +0000 (-0700)
Subject: make easier to read
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7d896bdf41b17f0111c7a6fa9c1bdcd397d89ff6;p=satune.git

make easier to read
---

diff --git a/src/Tuner/multituner.cc b/src/Tuner/multituner.cc
index 61b5bd3..a9fe693 100644
--- a/src/Tuner/multituner.cc
+++ b/src/Tuner/multituner.cc
@@ -245,7 +245,7 @@ void MultiTuner::tuneComp() {
 						if (metric < places.get(k)->getTime(problem))
 							break;
 					}
-					DEBUG("place[%u]=Tuner<%p>\n", k, tuner);
+					DEBUG("place[%u]=Tuner<%p,%d>\n", k, tuner, tuner->tunernumber);
 					places.insertAt(k, tuner);
 				}
 			}