diff --git a/src/utility/shortestPaths.cpp b/src/utility/shortestPaths.cpp index 8d1dd079f..dda452d5a 100644 --- a/src/utility/shortestPaths.cpp +++ b/src/utility/shortestPaths.cpp @@ -128,8 +128,8 @@ namespace storm { // the existing Dijkstra isn't working anyway AND // doesn't fully meet our requirements, so let's roll our own - T inftyDistance = utility::zero(); - T zeroDistance = utility::one(); + T inftyDistance = zero(); + T zeroDistance = one(); shortestPathDistances.resize(numStates, inftyDistance); shortestPathPredecessors.resize(numStates, boost::optional()); @@ -232,7 +232,7 @@ namespace storm { // there is no such edge // let's disallow that for now, because I'm not expecting it to happen assert(false); - return utility::zero(); + return zero(); } else { // edge must be "virtual edge" to meta-target assert(isMetaTargetPredecessor(tailNode));