From e37201c6ca30e576fce2a548b2a9d2bd5363567f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 19 Jan 2014 18:41:47 +0100
Subject: Fixing coqdep graph printing. The transitive reduction algorithm was
 bugged.

---
 tools/coqdep.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 873037d22e..8ede756cc3 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -275,8 +275,8 @@ struct
             let to_remove = to_remove && not (node_equal x a && node_equal y b) in
             let to_remove = to_remove && connected_through a b x y graph.dir in
             if to_remove then
-              let dir = remove_edge x y graph.dir in
-              let rev = remove_edge y x graph.rev in
+              let dir = remove_edge a b graph.dir in
+              let rev = remove_edge b a graph.rev in
               { dir; rev; }
             else graph
           in
-- 
cgit v1.2.3