diff options
| author | Thomas Bauereiss | 2020-02-21 16:26:06 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-02-21 16:26:36 +0000 |
| commit | 48b058048c0cf7fae12345568b83166f42f116a2 (patch) | |
| tree | 390cbc96ed728184c752c787e880ed3d1056dfa2 /src | |
| parent | 0ceb199052c0133d7dc1304b603558814d67aebf (diff) | |
Fix bug in last patch to topological sorting (e5ee087f)
Diffstat (limited to 'src')
| -rw-r--r-- | src/spec_analysis.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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, |