From 3fd7e37868ce3a770ab5ca5ef686f75c8aa348f4 Mon Sep 17 00:00:00 2001
From: Marco Costalba <mcostalba@gmail.com>
Date: Thu, 31 Aug 2017 09:01:20 +0200
Subject: [PATCH 1/1] Fix a warning with MSVC

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

No functional change.
---
 src/timeman.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
   }
-- 
2.39.2