diff --git a/src/storm/utility/shortestPaths.h b/src/storm/utility/shortestPaths.h index 60b206bca..ab3396a3f 100644 --- a/src/storm/utility/shortestPaths.h +++ b/src/storm/utility/shortestPaths.h @@ -47,7 +47,7 @@ namespace storm { if (predecessorNode != rhs.predecessorNode) { return predecessorNode < rhs.predecessorNode; } - return predecessorK < predecessorK; + return predecessorK < rhs.predecessorK; } bool operator==(const Path& rhs) const {