diff --git a/src/storm/storage/jani/EdgeContainer.cpp b/src/storm/storage/jani/EdgeContainer.cpp index 92e17afbc..65230dcbb 100644 --- a/src/storm/storage/jani/EdgeContainer.cpp +++ b/src/storm/storage/jani/EdgeContainer.cpp @@ -71,8 +71,9 @@ namespace storm { EdgeContainer& EdgeContainer::operator=(EdgeContainer const& other) { EdgeContainer otherCpy(other); - this->templates = std::move(other.templates); - this->edges = std::move(other.edges); + this->templates = std::move(otherCpy.templates); + this->edges = std::move(otherCpy.edges); + return *this; } void EdgeContainer::finalize(Model const& containingModel) {