From b5f37cb8ebcc59f97003e8d0693cd59f66a4210d Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 14 Nov 2018 09:46:58 +0100
Subject: [PATCH] Fixed json export for pdep

---
 src/storm-dft/storage/dft/DftJsonExporter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<ValueType>(dependency->probability())) {
                     std::stringstream stream;
                     stream << dependency->probability();
-                    nodeData["prob"] = stream.str();
+                    nodeData["probability"] = stream.str();
                 }
             } else if (element->isBasicElement()) {
                 // Set BE specific data