diff --git a/src/storm/models/sparse/StandardRewardModel.h b/src/storm/models/sparse/StandardRewardModel.h index 58524c90d..e30da32b1 100644 --- a/src/storm/models/sparse/StandardRewardModel.h +++ b/src/storm/models/sparse/StandardRewardModel.h @@ -38,11 +38,11 @@ namespace storm { boost::optional>&& optionalStateActionRewardVector = boost::none, boost::optional>&& optionalTransitionRewardMatrix = boost::none); - StandardRewardModel(StandardRewardModel const& dtmc) = default; - StandardRewardModel& operator=(StandardRewardModel const& dtmc) = default; + StandardRewardModel(StandardRewardModel const& other) = default; + StandardRewardModel& operator=(StandardRewardModel const& other) = default; - StandardRewardModel(StandardRewardModel&& dtmc) = default; - StandardRewardModel& operator=(StandardRewardModel&& dtmc) = default; + StandardRewardModel(StandardRewardModel&& other) = default; + StandardRewardModel& operator=(StandardRewardModel&& other) = default; /*! * Retrieves whether the reward model has state rewards.