diff options
| -rw-r--r-- | tools/coqdep.ml | 4 |
1 files 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 |