From 825454d4827c6597ae0d542b63a096de7866ec42 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 9 Sep 2020 14:52:36 +0200
Subject: [PATCH] Fixed warning

---
 src/storm/storage/jani/TemplateEdgeContainer.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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<std::shared_ptr<TemplateEdge>>() {
             for (auto const& te : other) {
                 this->insert(std::make_shared<TemplateEdge>(*te));
             }
         }
     }
-}
\ No newline at end of file
+}