mirror of
https://github.com/OPM/ResInsight.git
synced 2026-10-24 22:27:55 -05:00
The file in question had a "empty" line with CR/LF line ending at the end of the file. When reading this on linux (using getline) you get a non-empty string containing the CR token. For these cases GetRecord returns true with a empty record vector, and this expected in the calling code. Crash happens when accessing the first (non-existing) element of the empty vector when trying to provide error message. Fixed by having GetRecord return false when vector is empty. Fixes #12654.