From ece4085a61d39821fcd94e80f16dd6a29a0663fe Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 2 Dec 2013 17:28:18 +0100
Subject: [PATCH] Another bugfix for matrix creation during LRA computation.

Former-commit-id: c3325b891308dffd50e9c5bc474b9bebeafe2710
---
 src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h
index 8077086bb..378e8803a 100644
--- a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h
+++ b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.h
@@ -377,7 +377,7 @@ namespace storm {
                         }
                         
                         // For each auxiliary state, there is the option to achieve the reward value of the LRA associated with the MEC.
-                        sspMatrix.insertEmptyRow();
+                        sspMatrix.insertEmptyRow(true);
                         ++currentChoice;
                         b.push_back(lraValuesForEndComponents[mecIndex]);
                     }