From 88dc7c11fa6ba93b33133e1d5bfc13499cb83eac Mon Sep 17 00:00:00 2001
From: Niels Lohmann <mail@nlohmann.me>
Date: Mon, 12 Jun 2017 19:58:44 +0200
Subject: [PATCH] :hammer: fixed a warning

---
 src/json.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/json.hpp b/src/json.hpp
index 9af2a98d0..eb4df22f6 100644
--- a/src/json.hpp
+++ b/src/json.hpp
@@ -8863,7 +8863,7 @@ class basic_json
             // may not have processed all of them. Therefore, we need to
             // "rewind" the stream after the last processed char.
             is.seekg(start_position);
-            is.ignore(processed_chars);
+            is.ignore(static_cast<std::streamsize>(processed_chars));
             // clear stream flags
             is.clear();
         }