From f601405d55cc1b6a5a146aa46b51df70ce5f18e9 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 11 Oct 2018 10:20:49 +0200
Subject: [PATCH] set edge color default to zero

---
 src/storm/storage/jani/Edge.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/jani/Edge.h b/src/storm/storage/jani/Edge.h
index 5af6ec38d..35864b85b 100644
--- a/src/storm/storage/jani/Edge.h
+++ b/src/storm/storage/jani/Edge.h
@@ -163,7 +163,7 @@ namespace storm {
             std::vector<EdgeDestination> destinations;
 
             /// The color of the edge, used to persistently mark and identify specific edges (by the user)
-            uint64_t color;
+            uint64_t color = 0;
         };
         
         std::ostream& operator<<(std::ostream& stream, Edge const& edge);