From fc422af5571a9e372b4fb969d6d4d183dd29e7de Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 11 Jan 2018 21:48:47 +0100
Subject: [PATCH] making things compile again in debug mode

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

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<dir>(A, b);
                 } else {
-                    assert(decisionValue == getPrimaryBound());
+                    assert(decisionValue == getPrimaryBound<dir>());
                     auto xIt = x.rbegin();
                     auto yIt = y.rbegin();
                     auto groupStartIt = A.getRowGroupIndices().rbegin();