diff --git a/src/storm/models/sparse/StandardRewardModel.h b/src/storm/models/sparse/StandardRewardModel.h index e84faee19..58524c90d 100644 --- a/src/storm/models/sparse/StandardRewardModel.h +++ b/src/storm/models/sparse/StandardRewardModel.h @@ -34,7 +34,7 @@ namespace storm { * @param optionalStateActionRewardVector The reward values associated with state-action pairs. * @param optionalTransitionRewardMatrix The reward values associated with the transitions of the model. */ - StandardRewardModel(boost::optional>&& optionalStateRewardVector = boost::none, + StandardRewardModel(boost::optional>&& optionalStateRewardVector, boost::optional>&& optionalStateActionRewardVector = boost::none, boost::optional>&& optionalTransitionRewardMatrix = boost::none);