diff --git a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp index 96c2738ed..3135fe4a0 100644 --- a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp +++ b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp @@ -538,7 +538,11 @@ namespace storm { } modelData["double"] = cpptempl::make_data(list); - modelData["dontFixDeadlocks"] = storm::settings::getModule<storm::settings::modules::CoreSettings>().isDontFixDeadlocksSet(); + list = cpptempl::data_list(); + if (storm::settings::getModule<storm::settings::modules::CoreSettings>().isDontFixDeadlocksSet()) { + list.push_back(cpptempl::data_map()); + } + modelData["dontFixDeadlocks"] = cpptempl::make_data(list); // If we are building a possibly parametric model, we need to create the parameters. if (std::is_same<storm::RationalFunction, ValueType>::value) {