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 - BeliefManager::FreudenthalDiff::FreudenthalDiff(StateType const &dimension, BeliefValueType &&diff) : dimension(dimension), + BeliefManager::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>; } -} \ 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 +}