Time management simplification

[stockfish] / src / misc.cpp

diff --git a/src/misc.cpp b/src/misc.cpp
index 11833440e0c229c85bce7aefeae411f4d34d89f6..d815c9c41fd3dd0ac4463cd1e1a23925a8c1d478 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -63,10 +63,10 @@ struct Tie: public streambuf { // MSVC requires split streambuf for cin and cout
 
   Tie(streambuf* b, streambuf* l) : buf(b), logBuf(l) {}
 
-  int sync() { return logBuf->pubsync(), buf->pubsync(); }
-  int overflow(int c) { return log(buf->sputc((char)c), "<< "); }
-  int underflow() { return buf->sgetc(); }
-  int uflow() { return log(buf->sbumpc(), ">> "); }
+  int sync() override { return logBuf->pubsync(), buf->pubsync(); }
+  int overflow(int c) override { return log(buf->sputc((char)c), "<< "); }
+  int underflow() override { return buf->sgetc(); }
+  int uflow() override { return log(buf->sbumpc(), ">> "); }
 
   streambuf *buf, *logBuf;
 
@@ -207,8 +207,8 @@ void prefetch(void* addr) {
 
 void prefetch2(void* addr) {
 
-    prefetch(addr);
-    prefetch((uint8_t*)addr + 64);
+  prefetch(addr);
+  prefetch((uint8_t*)addr + 64);
 }
 
 namespace WinProcGroup {