From 5d84d940287a533142a2abc4e31d92ddbf34ee3a Mon Sep 17 00:00:00 2001 From: Thomas Knoll Date: Fri, 11 Aug 2023 09:04:29 +0200 Subject: [PATCH] removed useless calls in pre shield dt example --- examples/shields/09_pre_shield_decision_tree.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/examples/shields/09_pre_shield_decision_tree.py b/examples/shields/09_pre_shield_decision_tree.py index 8a9b158..3e8a9a3 100644 --- a/examples/shields/09_pre_shield_decision_tree.py +++ b/examples/shields/09_pre_shield_decision_tree.py @@ -30,9 +30,7 @@ def export_shield_as_dot(): shield = result.shield filename = "preshield.storm.json" - filename2 = "preshield.shield" stormpy.shields.export_shieldDouble(model, shield, filename) - stormpy.shields.export_shieldDouble(model, shield, filename2) output_folder = "pre_trees" name = 'pre_my_output'