From 9784f78f1c61ff1194ee5e68c4d923ded18e59d6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergio=20Mart=C3=ADnez=20Portela?= Date: Tue, 20 Jun 2023 00:15:41 +0200 Subject: [PATCH] Deduplicate graph edges. --- scripts/gen_centered_graph.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/gen_centered_graph.py b/scripts/gen_centered_graph.py index fb825b7..ab997e8 100644 --- 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