From a35735a63054070782e0ba40e4b5a9921bf6eaf6 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 9 May 2019 11:18:19 +0200
Subject: [PATCH] Fixed computation of all until probabilities

---
 .../modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp   | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp b/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp
index 9b6f08428..a76da19b1 100644
--- a/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp
+++ b/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp
@@ -290,10 +290,10 @@ namespace storm {
                     // We can eliminate the rows and columns from the original transition probability matrix.
                     storm::storage::SparseMatrix<ValueType> submatrix(transitionMatrix);
                     submatrix.makeRowsAbsorbing(psiStates);
-                    submatrix.deleteDiagonalEntries(psiStates);
-                    storm::storage::BitVector failState(numberOfStates, false);
-                    failState.set(0, true);
-                    submatrix.deleteDiagonalEntries(failState);
+                    //submatrix.deleteDiagonalEntries(psiStates);
+                    //storm::storage::BitVector failState(numberOfStates, false);
+                    //failState.set(0, true);
+                    submatrix.deleteDiagonalEntries();
                     submatrix = submatrix.transpose();
                     submatrix = submatrix.getSubmatrix(true, relevantStates, relevantStates, convertToEquationSystem);