diff --git a/src/Solver/Mage.py b/src/Solver/Mage.py index dbd22a626c89cbf5ea78ecf8b49af51dd59585f0..564a809dc114328a8e6f20ce5e5e19be690abc8c 100644 --- a/src/Solver/Mage.py +++ b/src/Solver/Mage.py @@ -148,9 +148,7 @@ class Mage(CommandLineSolver): ) for edge in edges: - name = edge.name.replace(" ", "_") - if edge._name == "": - name = f"Reach_{edge.id}" + name = f"Reach_{edge.id}" with mage_file_open( os.path.join(repertory, "net", f"{name}.ST"),