From 35c64948dec299ebb22a472c24fde8f0bd079a7d Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Fri, 3 Nov 2017 00:21:26 +0100
Subject: [PATCH] changes in parse prism program due to changes in storm, not
 yet tested due to segfaults

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

diff --git a/src/core/input.cpp b/src/core/input.cpp
index 2ce3ca8..a87c18a 100644
--- a/src/core/input.cpp
+++ b/src/core/input.cpp
@@ -15,7 +15,7 @@ void define_property(py::module& m) {
 void define_input(py::module& m) {
 
     // Parse Prism program
-    m.def("parse_prism_program", &storm::api::parseProgram, "Parse Prism program", py::arg("path"));
+    m.def("parse_prism_program", &storm::api::parseProgram, "Parse Prism program", py::arg("path"), py::arg("prism_compat") = false);
     // Parse Jani model
     m.def("parse_jani_model", &storm::api::parseJaniModel, "Parse Jani model", py::arg("path"));