From 12111a91bdcfe0eb4dca1f1b7c22f5c253257e82 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= <dbasgoeze.github@basgoeze.com>
Date: Tue, 24 Aug 2021 18:09:49 +0200
Subject: [PATCH] Use pass-by-value in constructor

Pass by rvalue reference results in
build errors when using CLN
---
 src/storm-pomdp/storage/BeliefManager.cpp | 4 ++--
 src/storm-pomdp/storage/BeliefManager.h   | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/storm-pomdp/storage/BeliefManager.cpp b/src/storm-pomdp/storage/BeliefManager.cpp
index 82ddabaaa..e998e4c70 100644
--- a/src/storm-pomdp/storage/BeliefManager.cpp
+++ b/src/storm-pomdp/storage/BeliefManager.cpp
@@ -14,7 +14,7 @@ namespace storm {
         }
 
         template<typename PomdpType, typename BeliefValueType, typename StateType>
-        BeliefManager<PomdpType, BeliefValueType, StateType>::FreudenthalDiff::FreudenthalDiff(StateType const &dimension, BeliefValueType &&diff) : dimension(dimension),
+        BeliefManager<PomdpType, BeliefValueType, StateType>::FreudenthalDiff::FreudenthalDiff(StateType const &dimension, BeliefValueType diff) : dimension(dimension),
                                                                                                                                                      diff(std::move(diff)) {
             // Intentionally left empty
         }
@@ -514,4 +514,4 @@ namespace storm {
 
         template class BeliefManager<storm::models::sparse::Pomdp<storm::RationalNumber>>;
     }
-}
\ No newline at end of file
+}
diff --git a/src/storm-pomdp/storage/BeliefManager.h b/src/storm-pomdp/storage/BeliefManager.h
index 087114a55..2e7d29ff7 100644
--- a/src/storm-pomdp/storage/BeliefManager.h
+++ b/src/storm-pomdp/storage/BeliefManager.h
@@ -76,7 +76,7 @@ namespace storm {
             };
 
             struct FreudenthalDiff {
-                FreudenthalDiff(StateType const &dimension, BeliefValueType &&diff);
+                FreudenthalDiff(StateType const &dimension, BeliefValueType diff);
 
                 StateType dimension; // i
                 BeliefValueType diff; // d[i]
@@ -123,4 +123,4 @@ namespace storm {
             
         };
     }
-}
\ No newline at end of file
+}