diff --git a/src/storm/storage/jani/TemplateEdgeContainer.cpp b/src/storm/storage/jani/TemplateEdgeContainer.cpp index 81ce8f874..ee83d9f6a 100644 --- a/src/storm/storage/jani/TemplateEdgeContainer.cpp +++ b/src/storm/storage/jani/TemplateEdgeContainer.cpp @@ -3,10 +3,10 @@ namespace storm { namespace jani { - TemplateEdgeContainer::TemplateEdgeContainer(TemplateEdgeContainer const &other) { + TemplateEdgeContainer::TemplateEdgeContainer(TemplateEdgeContainer const &other) : std::unordered_set>() { for (auto const& te : other) { this->insert(std::make_shared(*te)); } } } -} \ No newline at end of file +}