From 55999036d6b09a331295247b82cee1fe945f5a03 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 9 Sep 2020 11:54:21 +0200
Subject: [PATCH] Fixed warning

---
 src/storm/utility/shortestPaths.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<T>& rhs) const {