diff --git a/src/storm-dft/storage/dft/DftJsonExporter.cpp b/src/storm-dft/storage/dft/DftJsonExporter.cpp index a99335a96..4fa2a8937 100644 --- a/src/storm-dft/storage/dft/DftJsonExporter.cpp +++ b/src/storm-dft/storage/dft/DftJsonExporter.cpp @@ -79,7 +79,7 @@ namespace storm { if (!storm::utility::isOne(dependency->probability())) { std::stringstream stream; stream << dependency->probability(); - nodeData["prob"] = stream.str(); + nodeData["probability"] = stream.str(); } } else if (element->isBasicElement()) { // Set BE specific data