improve style.

aibasel · Nov 24, 2023 · 115ffee · 115ffee
1 parent cdc4ab2
commit 115ffee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/search/utils/timer.cc b/src/search/utils/timer.cc
@@ -111,7 +111,7 @@ Duration Timer::reset() {
 }
 
 ostream &operator<<(ostream &os, const Timer &timer) {
-    os << std::fixed << std::setprecision(6) << timer();
+    os << fixed << setprecision(6) << timer();
     return os;
 }