Browse Source

Fixes in EdgeContainer::operator=

tempestpy_adaptions
Tim Quatmann 4 years ago
parent
commit
87456d00fc
  1. 5
      src/storm/storage/jani/EdgeContainer.cpp

5
src/storm/storage/jani/EdgeContainer.cpp

@ -71,8 +71,9 @@ namespace storm {
EdgeContainer& EdgeContainer::operator=(EdgeContainer const& other) { EdgeContainer& EdgeContainer::operator=(EdgeContainer const& other) {
EdgeContainer otherCpy(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) { void EdgeContainer::finalize(Model const& containingModel) {

Loading…
Cancel
Save