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"));