From 7302697e6c827ebc6f747dea1ae3dee7cfdc67c2 Mon Sep 17 00:00:00 2001 From: Roman Andriushchenko Date: Tue, 23 Jul 2024 14:54:35 +0200 Subject: [PATCH] adaptation to changes in Stormpy (moves-rwth/stormpy@9085cfd) --- paynt/parser/jani.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/paynt/parser/jani.py b/paynt/parser/jani.py index 2c2c96738..c3d575858 100644 --- 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(