From 86b7c033f0591d89c657ed955eabf72795db5f54 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Tue, 10 Mar 2020 15:13:26 +0100 Subject: [PATCH] Adapted jani bindings to changes in Storm --- src/storage/jani.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storage/jani.cpp b/src/storage/jani.cpp index 90c127c..314c8ec 100644 --- a/src/storage/jani.cpp +++ b/src/storage/jani.cpp @@ -164,6 +164,6 @@ void define_jani(py::module& m) { .def_readwrite("nr_automata", &InformationObject::nrAutomata) .def_readwrite("nr_edges", &InformationObject::nrEdges) .def_readwrite("nr_variables", &InformationObject::nrVariables); - m.def("collect_information", [](const Model& model) {return storm::jani::collect(model);}); + m.def("collect_information", [](const Model& model) {return storm::jani::collectModelInformation(model);}); } \ No newline at end of file