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