diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py index e9fac64..d01e014 100644 --- a/lib/stormpy/__init__.py +++ b/lib/stormpy/__init__.py @@ -485,7 +485,7 @@ def parse_properties(properties, context=None, filters=None): if context.is_prism_program(): return core.parse_properties_for_prism_program(properties, context.as_prism_program(), filters) else: - core.parse_properties_for_prism_program(properties, context.as_jani_model(), filters) + core.parse_properties_for_jani_program(properties, context.as_jani_model(), filters) elif type(context) == storage.PrismProgram: return core.parse_properties_for_prism_program(properties, context, filters) elif type(context) == storage.JaniModel: