diff options
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, |