From 5c13fe624fdd0f6345a3a7670b3ed70f1c7f6fc5 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 15 Nov 2018 14:15:43 +0100
Subject: [PATCH] Fixed JSON parser

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

diff --git a/src/storm-dft/parser/DFTJsonParser.cpp b/src/storm-dft/parser/DFTJsonParser.cpp
index e44042980..b212ee59d 100644
--- a/src/storm-dft/parser/DFTJsonParser.cpp
+++ b/src/storm-dft/parser/DFTJsonParser.cpp
@@ -89,7 +89,7 @@ namespace storm {
                 } else if (type== "fdep") {
                     success = builder.addDepElement(name, childNames, storm::utility::one<ValueType>());
                 } else if (type== "pdep") {
-                    ValueType probability = parseRationalExpression(parseJsonNumber(data.at("prob")));
+                    ValueType probability = parseRationalExpression(parseJsonNumber(data.at("probability")));
                     success = builder.addDepElement(name, childNames, probability);
                 } else if (type == "be") {
                     ValueType failureRate = parseRationalExpression(parseJsonNumber(data.at("rate")));