From a22c36e38a907a3c53eb82bc63c48b9c1fc75236 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Sun, 19 Jul 2015 16:56:12 +0200
Subject: [PATCH] avoided unnecessary copy of matrix while doing graph
 analysis. const& was missing somehow.

Former-commit-id: d1abf847c334ce999f6b830ecd071a67ed5cc62f
---
 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 fb8bdb158..d8692ad44 100644
--- a/src/utility/graph.h
+++ b/src/utility/graph.h
@@ -245,7 +245,7 @@ namespace storm {
              * with probability 0 and the second stores all indices of states with probability 1.
              */
             template <typename T>
-            static std::pair<storm::storage::BitVector, storm::storage::BitVector> performProb01(storm::storage::SparseMatrix<T> backwardTransitions, storm::storage::BitVector const& phiStates, storm::storage::BitVector const& psiStates) {
+            static std::pair<storm::storage::BitVector, storm::storage::BitVector> performProb01(storm::storage::SparseMatrix<T> const& backwardTransitions, storm::storage::BitVector const& phiStates, storm::storage::BitVector const& psiStates) {
                 std::pair<storm::storage::BitVector, storm::storage::BitVector> result;
                 result.first = performProbGreater0(backwardTransitions, phiStates, psiStates);
                 result.second = performProb1(backwardTransitions, phiStates, psiStates, result.first);