From c3d0112975b3c2992a30c55e15dbbb13fe6b0f84 Mon Sep 17 00:00:00 2001
From: David_Korzeniewski <david.korzeniewski@rwth-aachen.de>
Date: Sat, 30 May 2015 16:34:37 +0200
Subject: [PATCH] Actually try to read all lines from property file

Former-commit-id: 588d80c8c1f6b42ae77e03b1c7fb79d1675c38e5
---
 src/utility/cli.h | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

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();