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(processed_chars)); // clear stream flags is.clear(); }