[trivial] fix timer precision. (#198)

set precision of the timer to 6 digits.
aibasel · Nov 27, 2023 · f3ce70a · f3ce70a
1 parent 47cc432
commit f3ce70a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/search/utils/timer.cc b/src/search/utils/timer.cc
@@ -1,6 +1,7 @@
 #include "timer.h"
 
 #include <ctime>
+#include <iomanip>
 #include <ostream>
 
 #if OPERATING_SYSTEM == LINUX || OPERATING_SYSTEM == OSX
@@ -110,7 +111,7 @@ Duration Timer::reset() {
 }
 
 ostream &operator<<(ostream &os, const Timer &timer) {
-    os << timer();
+    os << fixed << setprecision(6) << timer();
     return os;
 }