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()); } 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")));