From 7d896bdf41b17f0111c7a6fa9c1bdcd397d89ff6 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Wed, 17 Oct 2018 15:38:07 -0700
Subject: [PATCH] make easier to read

---
 src/Tuner/multituner.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
 				}
 			}
-- 
2.34.1