From 49393e3980504a5c88c8a1556d1160f0a924b440 Mon Sep 17 00:00:00 2001
From: hbruintjes <h.bruintjes@cs.rwth-aachen.de>
Date: Fri, 1 Jul 2016 11:46:14 +0200
Subject: [PATCH] Fix shared_ptr cast type in pybind

Former-commit-id: d5c95f49753135ea700a8be049175df6988e393b
---
 stormpy/resources/pybind11/include/pybind11/pybind11.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stormpy/resources/pybind11/include/pybind11/pybind11.h b/stormpy/resources/pybind11/include/pybind11/pybind11.h
index e20096a8e..0a3ef1870 100644
--- a/stormpy/resources/pybind11/include/pybind11/pybind11.h
+++ b/stormpy/resources/pybind11/include/pybind11/pybind11.h
@@ -887,7 +887,7 @@ private:
     template <typename T>
     static void init_holder_helper(instance_type *inst, const holder_type * /* unused */, const std::enable_shared_from_this<T> * /* dummy */) {
         try {
-            new (&inst->holder) holder_type(std::static_pointer_cast<type>(inst->value->shared_from_this()));
+            new (&inst->holder) holder_type(std::static_pointer_cast<typename holder_type::element_type>(inst->value->shared_from_this()));
         } catch (const std::bad_weak_ptr &) {
             new (&inst->holder) holder_type(inst->value);
         }