diff --git a/src/outils_graph.py b/src/outils_graph.py index e88d68e429035ecce9db6d4d3511e4252ca104c1..00208c1b7cdfe591b32af230d6d4b22a99226a17 100644 --- a/src/outils_graph.py +++ b/src/outils_graph.py @@ -85,7 +85,7 @@ def add_nodes_metro(dot, dico, relevant_nodes = -1): def add_edges_metro(dot, dico): for e in dico["edges"]: dot.edge(e['A'], e['B'], - arrowhead = "none", #https://graphviz.org/doc/info/arrows.html + #arrowhead = "none", #https://graphviz.org/doc/info/arrows.html arrowsize= "1", #If the arrowhead is 'none' this parameter doesn't change anything penwidth= "2" )