diff --git a/src/storm/solver/TopologicalLinearEquationSolver.cpp b/src/storm/solver/TopologicalLinearEquationSolver.cpp index c08b30134..59f0b8006 100644 --- a/src/storm/solver/TopologicalLinearEquationSolver.cpp +++ b/src/storm/solver/TopologicalLinearEquationSolver.cpp @@ -138,7 +138,7 @@ namespace storm { storm::storage::BitVector unsortedSCCs(sccDecomposition.size(), true); std::vector sccStack, chainSizes; if (needLongestChainSize) { - chainSizes.resize(this->sortedSccDecomposition->size(), 1u); + chainSizes.resize(sccDecomposition.size(), 1u); } uint32_t longestChainSize = 0; uint32_t const token = std::numeric_limits::max();