From 92b1ed72bc8ccae3bfec653f9e6c8693fb53b92e Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 1 Aug 2018 17:45:22 +0200
Subject: [PATCH] Adaptions to changes in Storm

---
 src/core/core.cpp     | 1 +
 src/core/input.cpp    | 1 +
 src/storage/prism.cpp | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/core/core.cpp b/src/core/core.cpp
index 7b05c3b..b5021ae 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -3,6 +3,7 @@
 #include "storm/utility/DirectEncodingExporter.h"
 #include "storm/storage/ModelFormulasPair.h"
 #include "storm/storage/dd/DdType.h"
+#include "storm/storage/jani/Property.h"
 #include "storm/solver/OptimizationDirection.h"
 #include "storm/models/symbolic/StandardRewardModel.h"
 #include "storm-parsers/api/storm-parsers.h"
diff --git a/src/core/input.cpp b/src/core/input.cpp
index baf51dc..23d696c 100644
--- a/src/core/input.cpp
+++ b/src/core/input.cpp
@@ -1,6 +1,7 @@
 #include "input.h"
 #include "src/helpers.h"
 #include "storm-parsers/api/storm-parsers.h"
+#include "storm/storage/jani/Property.h"
 
 void define_property(py::module& m) {
     py::class_<storm::jani::Property>(m, "Property", "Property")
diff --git a/src/storage/prism.cpp b/src/storage/prism.cpp
index 1f52288..b1b8a7c 100644
--- a/src/storage/prism.cpp
+++ b/src/storage/prism.cpp
@@ -20,7 +20,7 @@ void define_prism(py::module& m) {
             .def("simplify", &Program::simplify, "Simplify")
             .def("used_constants",&Program::usedConstants, "Compute Used Constants")
             .def_property_readonly("expression_manager", &Program::getManager, "Get the expression manager for expressions in this program")
-            .def("to_jani", &Program::toJaniWithLabelRenaming, "Transform to Jani program", py::arg("all_variables_global")=false, py::arg("suffix") = "")
+            .def("to_jani", &Program::toJaniWithLabelRenaming, "Transform to Jani program", py::arg("all_variables_global")=false, py::arg("suffix") = "", py::arg("standard_compliant")=false)
             .def("__str__", &streamToString<storm::prism::Program>);
 
     py::class_<Module> module(m, "PrismModule", "A module in a Prism program");