adaptation to changes in Stormpy (moves-rwth/stormpy@9085cfd)

randriu · Jul 23, 2024 · 7302697 · 7302697
1 parent 7c65972
commit 7302697
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paynt/parser/jani.py b/paynt/parser/jani.py
@@ -217,7 +217,7 @@ def construct_edge(self, edge, substitution = None):
         for templ_edge_dest in edge.template_edge.destinations:
             assignments = templ_edge_dest.assignments.clone()
             if substitution is not None:
-                assignments.substitute(substitution)
+                assignments.substitute(substitution,substitute_transcendental_numbers=False)
             templ_edge.add_destination(stormpy.storage.JaniTemplateEdgeDestination(assignments))
 
         new_edge = stormpy.storage.JaniEdge(