From c73a5b77b3e8269fb83fe569e034fb6773336d1c Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Mon, 8 Oct 2018 22:18:36 +0200
Subject: [PATCH] explicit expression copies

---
 src/storage/expressions.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storage/expressions.cpp b/src/storage/expressions.cpp
index f43f8ae..4acdbfb 100644
--- a/src/storage/expressions.cpp
+++ b/src/storage/expressions.cpp
@@ -39,6 +39,7 @@ void define_expressions(py::module& m) {
 
     // Expression
     py::class_<storm::expressions::Expression, std::shared_ptr<storm::expressions::Expression>>(m, "Expression", "Holds an expression")
+        .def(py::init<Expression>(), "other_expression"_a)
         .def("contains_variables", &storm::expressions::Expression::containsVariables, "Check if the expression contains variables.")
         .def("contains_variable", &storm::expressions::Expression::containsVariable, "Check if the expression contains any of the given variables.", py::arg("variables"))
         .def("get_variables" , &storm::expressions::Expression::getVariables, "Get the variables")