From 3140711d36c3ea5a9eeae1514a975ec25a2456e3 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 12 Jan 2017 23:06:05 +0100
Subject: [PATCH] build symbolic models now is named accordingly

---
 src/core/core.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/core.cpp b/src/core/core.cpp
index 6d4090d..40933f4 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -30,7 +30,7 @@ void define_parse(py::module& m) {
 
 // Thin wrapper for model building using one formula as argument
 template<typename ValueType>
-std::shared_ptr<storm::models::ModelBase> buildModel(storm::prism::Program const& program, std::shared_ptr<storm::logic::Formula const> const& formula) {
+std::shared_ptr<storm::models::ModelBase> buildSymbolicModel(storm::prism::Program const& program, std::shared_ptr<storm::logic::Formula const> const& formula) {
     return storm::buildSymbolicModel<ValueType>(program, std::vector<std::shared_ptr<storm::logic::Formula const>>(1,formula));
 }