diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py index 7b9013a..c45ae63 100644 --- a/lib/stormpy/__init__.py +++ b/lib/stormpy/__init__.py @@ -4,7 +4,7 @@ from . import storage from .storage import * from .version import __version__ -core.set_up("") +core._set_up("") def build_model(program, formulae): intermediate = core._build_model(program, formulae) diff --git a/src/core/core.cpp b/src/core/core.cpp index 99d01d2..5b9b8db 100644 --- a/src/core/core.cpp +++ b/src/core/core.cpp @@ -2,7 +2,7 @@ void define_core(py::module& m) { // Init - m.def("set_up", [](std::string const& args) { + m.def("_set_up", [](std::string const& args) { storm::utility::setUp(); storm::settings::initializeAll("StoRM-Py", "stormpy"); storm::settings::SettingsManager::manager().setFromString(args);