diff --git a/src/storm-dft/storage/dft/DftJsonExporter.cpp b/src/storm-dft/storage/dft/DftJsonExporter.cpp index 4fa2a8937..6dd3d2299 100644 --- a/src/storm-dft/storage/dft/DftJsonExporter.cpp +++ b/src/storm-dft/storage/dft/DftJsonExporter.cpp @@ -80,6 +80,8 @@ namespace storm { std::stringstream stream; stream << dependency->probability(); nodeData["probability"] = stream.str(); + } else { + nodeData["type"] = "fdep"; } } else if (element->isBasicElement()) { // Set BE specific data