Name "MIP search" - > "Search

ERGO-Code · Sep 26, 2024 · 53fa7d9 · 53fa7d9
1 parent 351e8ac
commit 53fa7d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mip/MipTimer.h b/src/mip/MipTimer.h
@@ -63,7 +63,7 @@ class MipTimer {
     clock[kMipClockRunSetup] = timer_pointer->clock_def("Run setup");
     clock[kMipClockEvaluateRootNode] = timer_pointer->clock_def("Evaluate root node");
     clock[kMipClockPerformAging0] = timer_pointer->clock_def("Perform aging 0");
-    clock[kMipClockSearch] = timer_pointer->clock_def("MIP search");
+    clock[kMipClockSearch] = timer_pointer->clock_def("Search");
     // kMipClockPostsolve
 
     // Search - Should correspond to kMipClockSearch