From 5d4b87673d05c72cf310b346e93eefe57ce9e157 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Thu, 20 Jul 2017 13:55:44 +0200
Subject: [PATCH] reverse arrow direction in DOT backend

---
 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 2c57351b..8b452202 100644
--- a/src/backend/dot.ml
+++ b/src/backend/dot.ml
@@ -42,7 +42,7 @@ module Make(S : Res.S)(A : Arg with type atom := S.atom and type lemma := S.lemm
       done
 
   let print_edge fmt i j =
-    Format.fprintf fmt "%s -> %s;@\n" i j
+    Format.fprintf fmt "%s <- %s;@\n" i j
 
   let print_edges fmt n =
     match S.(n.step) with