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