Deduplicate graph edges.

2023-06-20 00:15:41 +02:00 · 2023-06-20 00:15:41 +02:00 · 9784f78f1c
commit 9784f78f1c
parent dee465f6af
1 changed files with 1 additions and 1 deletions
--- a/scripts/gen_centered_graph.py
+++ b/scripts/gen_centered_graph.py
@ -93,7 +93,7 @@ def gen(headline_id, graph, doc_to_headline_remapping):
    g = centered_graph

    with tempfile.NamedTemporaryFile(suffix='.dot', mode='wt') as f:
-        f.write('digraph {\n')
+        f.write('strict digraph {\n')
        f.write('maxiter=1000\n')
        f.write('splines=curved\n')
        # f.write('splines=spline\n') # Not supported with edges to cluster