From b0059b6d85cf051710a9e72e1e7a3256d80a48e8 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Sat, 27 Jan 2018 18:12:06 +0100
Subject: [PATCH] pomdp stuff working again with latest master

---
 src/storm-pomdp-cli/storm-pomdp.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index 5f16755d8..4bd30b2c7 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -67,7 +67,7 @@ void initializeSettings() {
     storm::settings::addModule<storm::settings::modules::JaniExportSettings>();
     storm::settings::addModule<storm::settings::modules::JitBuilderSettings>();
     storm::settings::addModule<storm::settings::modules::MultiObjectiveSettings>();
-    storm::settings::addModule<storm::settings::modules::BuildSettings>();
+    storm::settings::addModule<storm::settings::modules::CounterexampleGeneratorSettings>();
 
 
 
@@ -205,7 +205,7 @@ int main(const int argc, const char** argv) {
                 std::vector<storm::RationalFunctionVariable> parameters(parameterSet.begin(), parameterSet.end());
                 std::vector<std::string> parameterNames;
                 for (auto const& parameter : parameters) {
-                    parameterNames.push_back(parameter.getName());
+                    parameterNames.push_back(parameter.name());
                 }
                 storm::api::exportSparseModelAsDrn(pmc, pomdpSettings.getExportToParametricFilename(), parameterNames);
                 STORM_PRINT_AND_LOG(" done." << std::endl);