From 115ffeea56a36f211046c3b08f08d285da65bb9c Mon Sep 17 00:00:00 2001
From: Simon Dold <simon.dold@stud.unibas.ch>
Date: Fri, 24 Nov 2023 09:58:00 +0100
Subject: [PATCH] improve style.

---
 src/search/utils/timer.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/search/utils/timer.cc b/src/search/utils/timer.cc
index 9908793ce3..83d0ba6813 100644
--- 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;
 }