make easier to read
authorbdemsky <bdemsky@uci.edu>
Wed, 17 Oct 2018 22:38:07 +0000 (15:38 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 17 Oct 2018 22:38:07 +0000 (15:38 -0700)
src/Tuner/multituner.cc

index 61b5bd38e62461f49e1ab4a9cf71abb3244b1e30..a9fe693fa92b258e3b272a682cffd0c0cf7ba34a 100644 (file)
@@ -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);
                                }
                        }