Bugfix in parse_properties (#198)

* fix parse_properties (avoid throwing an error)
moves-rwth · Dec 16, 2024 · ad46d5e · ad46d5e
1 parent 38d173d
commit ad46d5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py
@@ -618,7 +618,7 @@ def parse_properties(properties, context=None, filters=None):
     if context is None:
         return core.parse_properties_without_context(properties, filters)
     elif type(context) == core.SymbolicModelDescription:
-        if context.is_prism_program():
+        if context.is_prism_program:
             return core.parse_properties_for_prism_program(properties, context.as_prism_program(), filters)
         else:
             return core.parse_properties_for_jani_program(properties, context.as_jani_model(), filters)