From 48b058048c0cf7fae12345568b83166f42f116a2 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Fri, 21 Feb 2020 16:26:06 +0000
Subject: Fix bug in last patch to topological sorting (e5ee087f)

---
 src/spec_analysis.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml
index 83bf9414..41426654 100644
--- a/src/spec_analysis.ml
+++ b/src/spec_analysis.ml
@@ -550,7 +550,7 @@ let add_def_to_graph (prelude, original_order, defset, graph) d =
     let id = Nameset.choose bound in
     let other_ids = Nameset.elements (Nameset.remove id bound) in
     let graph' =
-      NameGraph.add_edges id other_ids graph
+      NameGraph.add_edges id (other_ids @ Nameset.elements used) graph
       |> List.fold_right (fun id' g -> NameGraph.add_edge id' id g) other_ids
     in
     prelude,
-- 
cgit v1.2.3