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] Fix a warning with MSVC

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

No functional change.
---
 src/timeman.cpp |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/timeman.cpp b/src/timeman.cpp
index 330709b..2612fb5 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;
   }
-- 
1.7.0.4