From 209090eb9307cbb289fcbd3452ef2c5cc0e4dc36 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 3 Nov 2020 10:40:31 +0100
Subject: [PATCH] storm-dft: Ignore compound nodes in json parser

---
 src/storm-dft/parser/DFTJsonParser.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm-dft/parser/DFTJsonParser.cpp b/src/storm-dft/parser/DFTJsonParser.cpp
index a94332e37..8050e4225 100644
--- a/src/storm-dft/parser/DFTJsonParser.cpp
+++ b/src/storm-dft/parser/DFTJsonParser.cpp
@@ -125,6 +125,9 @@ namespace storm {
                         STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Distribution: " << distribution << " not supported.");
                         success = false;
                     }
+                } else if (type == "compound") {
+                    STORM_LOG_TRACE("Ignoring compound node '" << name << "'.");
+
                 } else {
                     STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Type name: " << type << " not recognized.");
                     success = false;