diff --git a/src/storm/solver/Multiplier.h b/src/storm/solver/Multiplier.h index fc300ff4b..dff657499 100644 --- a/src/storm/solver/Multiplier.h +++ b/src/storm/solver/Multiplier.h @@ -121,7 +121,7 @@ namespace storm { */ void repeatedMultiplyAndReduce(Environment const& env, OptimizationDirection const& dir, std::vector& x, std::vector const* b, uint64_t n, storm::storage::BitVector const* dirOverride = nullptr) const; - void repeatedMultiplyAndReduceWithChoices(const Environment &env, const OptimizationDirection &dir, std::vector &x, const std::vector *b, uint64_t n, const storage::BitVector *dirOverride, std::vector &choiceValues, std::vector rowGroupIndices) const; + void repeatedMultiplyAndReduceWithChoices(const Environment &env, const OptimizationDirection &dir, std::vector &x, const std::vector *b, uint64_t n, const storage::BitVector *dirOverride, std::vector &choiceValues, std::vector rowGroupIndices) const; /*! * Multiplies the row with the given index with x and adds the result to the provided value