From 95527421bf62775756b88924b1174da67401a8ba Mon Sep 17 00:00:00 2001 From: TimQu Date: Fri, 17 Mar 2017 18:10:39 +0100 Subject: [PATCH] added missing parenthesis --- src/storm/utility/graph.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/utility/graph.cpp b/src/storm/utility/graph.cpp index e5a873322..8cdc78cd2 100644 --- a/src/storm/utility/graph.cpp +++ b/src/storm/utility/graph.cpp @@ -68,7 +68,7 @@ namespace storm { for (auto const& successor : transitionMatrix.getRowGroup(currentState)) { // Only explore the state if the transition was actually there and the successor has not yet // been visited. - if (!storm::utility::isZero(successor.getValue()) && !reachableStates.get(successor.getColumn()) || (useStepBound && remainingSteps[successor.getColumn()] < currentStepBound - 1)) { + if (!storm::utility::isZero(successor.getValue()) && (!reachableStates.get(successor.getColumn()) || (useStepBound && remainingSteps[successor.getColumn()] < currentStepBound - 1))) { // If the successor is one of the target states, we need to include it, but must not explore // it further. if (targetStates.get(successor.getColumn())) {