From ed6f3dae9f9dda2da2a6dac2e4c74c6c5b37ba3b Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 26 Oct 2014 16:23:26 +0100
Subject: [PATCH] Renamed the newly added method.

Former-commit-id: 72ea9afb61aa4f5883d35fc5640ff4ec6a230fb2
---
 src/utility/graph.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/utility/graph.h b/src/utility/graph.h
index 59c180efb..b41883d7c 100644
--- a/src/utility/graph.h
+++ b/src/utility/graph.h
@@ -80,7 +80,7 @@ namespace storm {
              * @return The distances of each state to the initial states of the sarch.
              */
             template<typename T>
-            std::vector<std::size_t> getReachableStates(storm::storage::SparseMatrix<T> const& transitionMatrix, storm::storage::BitVector const& initialStates) {
+            std::vector<std::size_t> getDistances(storm::storage::SparseMatrix<T> const& transitionMatrix, storm::storage::BitVector const& initialStates) {
                 std::vector<std::size_t> distances(transitionMatrix.getRowGroupCount());
                 
                 std::vector<std::pair<storm::storage::sparse::state_type, std::size_t>> stateQueue;