From 0f5a052040d7aa07072ea4c04b2dfaa266b59c6c Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 13 Jul 2020 15:04:35 +0200 Subject: [PATCH] Typo in parse_properties --- lib/stormpy/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: