From: Marco Costalba <mcostalba@gmail.com>
Date: Thu, 31 Aug 2017 07:01:20 +0000 (+0200)
Subject: Fix a warning with MSVC
X-Git-Url: https://git.sesse.net/?p=stockfish;a=commitdiff_plain;h=3fd7e37868ce3a770ab5ca5ef686f75c8aa348f4

Fix a warning with MSVC

warning C4244: '*=': conversion from 'double' to 'int', possible loss of data

No functional change.
---

diff --git a/src/timeman.cpp b/src/timeman.cpp
index 330709be..2612fb52 100644
--- a/src/timeman.cpp
+++ b/src/timeman.cpp
@@ -64,7 +64,7 @@ namespace {
     int time = int(std::min(1.0, ratio) * std::max(0, myTime - moveOverhead));
 
     if (type == OptimumTime && ponder)
-        time *= 1.25;
+        time = 5 * time / 4;
 
     return time;
   }