From 1d18652011341da71e5d9c51664afb94266221f8 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 17 Jan 2017 13:47:06 +0100
Subject: [PATCH] MdpInstantiator is now called PmdpInstantiator

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

diff --git a/src/storage/model.cpp b/src/storage/model.cpp
index 79cd114..0f79fe0 100644
--- a/src/storage/model.cpp
+++ b/src/storage/model.cpp
@@ -94,7 +94,7 @@ void define_model_instantiator(py::module& m) {
             .def(py::init<storm::models::sparse::Dtmc<storm::RationalFunction>>(), "parametric model"_a)
             .def("instantiate", &storm::utility::ModelInstantiator<storm::models::sparse::Dtmc<storm::RationalFunction>, storm::models::sparse::Dtmc<double>>::instantiate, "Instantiate model with given parameter values");
 
-    py::class_<storm::utility::ModelInstantiator<storm::models::sparse::Mdp<storm::RationalFunction>,storm::models::sparse::Mdp<double>>>(m, "MdpInstantiator", "Instantiate PDTMCs to MDPs")
+    py::class_<storm::utility::ModelInstantiator<storm::models::sparse::Mdp<storm::RationalFunction>,storm::models::sparse::Mdp<double>>>(m, "PmdpInstantiator", "Instantiate PMDPs to MDPs")
             .def(py::init<storm::models::sparse::Mdp<storm::RationalFunction>>(), "parametric model"_a)
     .def("instantiate", &storm::utility::ModelInstantiator<storm::models::sparse::Mdp<storm::RationalFunction>, storm::models::sparse::Mdp<double>>::instantiate, "Instantiate model with given parameter values");
 }