diff --git a/src/utility/cli.h b/src/utility/cli.h index efc3f62f7..9d21378c4 100644 --- a/src/utility/cli.h +++ b/src/utility/cli.h @@ -604,9 +604,11 @@ namespace storm { if (inputFileStream.good()) { try { - std::string prop; - std::getline(inputFileStream, prop); - properties.push_back(prop); + while (inputFileStream.good()) { + std::string prop; + std::getline(inputFileStream, prop); + properties.push_back(prop); + } } catch (std::exception& e) { inputFileStream.close();