diff --git a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp index 71f29a0c0..25e6e037d 100644 --- a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp +++ b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp @@ -677,7 +677,7 @@ namespace storm { if (!decisionValueBlocks) { performIterationStepUpdateDecisionValue(A, b); } else { - assert(decisionValue == getPrimaryBound()); + assert(decisionValue == getPrimaryBound()); auto xIt = x.rbegin(); auto yIt = y.rbegin(); auto groupStartIt = A.getRowGroupIndices().rbegin();