From bff609961fd8eea94888300f2ad32d6bd4cffe25 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 11 Dec 2017 16:01:12 +0100
Subject: [PATCH] fixed wrong computation of chain sizes

---
 src/storm/solver/TopologicalLinearEquationSolver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<uint32_t> 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<uint32_t>::max();