Small fix for policy extraction

Former-commit-id: fa37a1ceb2
9 years ago · b182e3fdcf
1 changed files with 1 additions and 1 deletions
--- 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());