From fa58cf93c05c625a87ac4b086cf6849512ede9b9 Mon Sep 17 00:00:00 2001
From: Tom Janson <tom.janson@rwth-aachen.de>
Date: Wed, 14 Dec 2016 21:16:51 +0100
Subject: [PATCH] hide set_up() (now _set_up()), since it's implicitly called

---
 lib/stormpy/__init__.py | 2 +-
 src/core/core.cpp       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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);