From daa30a2b4f69ea45c0d87b965f9a0d9719deae2f Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Mon, 24 Jul 2017 17:04:12 +0200
Subject: [PATCH] Correctly print edges in dot backend

The bug was introduced when reversing the direction of edge arrow,
unfortunatley the "node <- node" syntax overlaps with the html label
syntax.
---
 src/backend/dot.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/backend/dot.ml b/src/backend/dot.ml
index fd1b79d1..c9135a96 100644
--- a/src/backend/dot.ml
+++ b/src/backend/dot.ml
@@ -71,7 +71,7 @@ module Make(S : Res.S)(A : Arg with type atom := S.atom
       done
 
   let print_edge fmt i j =
-    Format.fprintf fmt "%s <- %s;@\n" i j
+    Format.fprintf fmt "%s -> %s;@\n" j i
 
   let print_edges fmt n =
     match S.(n.step) with