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 computePolicy(std::vector& x, std::vector const& b) const{ std::vector xPrime(this->A.getRowCount()); - this->A.multiplyVectorWithMatrix(x, xPrime); + this->A.multiplyWithVector(x, xPrime); storm::utility::vector::addVectors(xPrime, b, xPrime); std::vector policy(x.size()); std::vector reduced(x.size());