From 87456d00fc82f52d67ac6f1c3df4d9f91608dab5 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 9 Sep 2020 16:33:56 +0200
Subject: [PATCH] Fixes in EdgeContainer::operator=

---
 src/storm/storage/jani/EdgeContainer.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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) {