From 0f0256b42297ee4a4566967384095742f13167e3 Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Mon, 28 Jun 2021 11:08:07 +0200
Subject: [PATCH] Fix warning

---
 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 3d97bf778..5df06c585 100644
--- a/src/storm/utility/graph.cpp
+++ b/src/storm/utility/graph.cpp
@@ -1674,7 +1674,7 @@ namespace storm {
                 std::vector<uint_fast64_t> result;
                 result.reserve(matrix.getRowGroupCount());
 
-                storm::storage::sparse::state_type currentPosition = 0;
+//                storm::storage::sparse::state_type currentPosition = 0;
                 auto count = matrix.getRowGroupCount() - 1;
                 for (auto const& state : firstStates) {
                     stateQueue.push_back(state);