1
0
mirror of https://github.com/nlohmann/json.git synced 2025-07-28 12:02:00 +03:00
This commit is contained in:
Niels
2016-09-11 22:30:08 +02:00
parent 8ea0ee502d
commit 2daab5a4c2
6 changed files with 22 additions and 3 deletions

View File

@ -7889,7 +7889,7 @@ class basic_json
const auto offset_cursor = m_cursor - m_start;
// no stream is used or end of file is reached
if (m_stream == nullptr or not * m_stream)
if (m_stream == nullptr or m_stream->eof())
{
// copy unprocessed characters to line buffer
m_line_buffer.clear();