From b182e3fdcf5b87500aecb5519af2784f36a4e4ca Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Thu, 29 Oct 2015 18:56:39 +0100
Subject: [PATCH] Small fix for policy extraction

Former-commit-id: fa37a1ceb21c0111d5ae8f570e3149dce401fec4
---
 src/solver/MinMaxLinearEquationSolver.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver/MinMaxLinearEquationSolver.h b/src/solver/MinMaxLinearEquationSolver.h
index f30b6605b..8514ee69a 100644
--- a/src/solver/MinMaxLinearEquationSolver.h
+++ b/src/solver/MinMaxLinearEquationSolver.h
@@ -144,7 +144,7 @@ namespace storm {
             
             std::vector<storm::storage::sparse::state_type> computePolicy(std::vector<ValueType>& x, std::vector<ValueType> const& b) const{
                 std::vector<ValueType> xPrime(this->A.getRowCount());
-                this->A.multiplyVectorWithMatrix(x, xPrime);
+                this->A.multiplyWithVector(x, xPrime);
                 storm::utility::vector::addVectors(xPrime, b, xPrime);
                 std::vector<storm::storage::sparse::state_type> policy(x.size());
                 std::vector<ValueType> reduced(x.size());