From 47383090d36317c085c757e9edf5fab3c4ee9c5b Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 20 Apr 2020 18:12:50 +0200
Subject: [PATCH] Fixed return policy

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

diff --git a/src/storage/valuation.cpp b/src/storage/valuation.cpp
index 06f4b8e..aa8edef 100644
--- a/src/storage/valuation.cpp
+++ b/src/storage/valuation.cpp
@@ -9,7 +9,7 @@
 void define_statevaluation(py::module& m) {
 
     py::class_<storm::storage::sparse::StateValuations, std::shared_ptr<storm::storage::sparse::StateValuations>> statevaluation(m,"StateValuation", "Valuations for explicit states");
-    statevaluation.def("get_state", &storm::storage::sparse::StateValuations::getStateValuation, py::return_value_policy::reference)
+    statevaluation.def("get_state", &storm::storage::sparse::StateValuations::getStateValuation, py::return_value_policy::reference_internal)
             ;
 
 }