From f532f6461bd85deb19128da6fbec762e6ab31154 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 9 Sep 2020 15:28:09 +0200
Subject: [PATCH] The sparse StandardRewardModel somehow had 'dtmc' in it.

---
 src/storm/models/sparse/StandardRewardModel.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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<std::vector<ValueType>>&& optionalStateActionRewardVector = boost::none,
                                     boost::optional<storm::storage::SparseMatrix<ValueType>>&& optionalTransitionRewardMatrix = boost::none);
                 
-                StandardRewardModel(StandardRewardModel<ValueType> const& dtmc) = default;
-                StandardRewardModel& operator=(StandardRewardModel<ValueType> const& dtmc) = default;
+                StandardRewardModel(StandardRewardModel<ValueType> const& other) = default;
+                StandardRewardModel& operator=(StandardRewardModel<ValueType> const& other) = default;
                 
-                StandardRewardModel(StandardRewardModel<ValueType>&& dtmc) = default;
-                StandardRewardModel& operator=(StandardRewardModel<ValueType>&& dtmc) = default;
+                StandardRewardModel(StandardRewardModel<ValueType>&& other) = default;
+                StandardRewardModel& operator=(StandardRewardModel<ValueType>&& other) = default;
 
                 /*!
                  * Retrieves whether the reward model has state rewards.