Fix missing filling of provided_globals

ocaml · Feb 13, 2019 · 602425f · 602425f
1 parent 56f7d66
commit 602425f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml
@@ -109,7 +109,8 @@ let add_required compunit =
 let remove_required (rel, _pos) =
   match rel with
     Reloc_setglobal id ->
-      missing_globals := Ident.Set.remove id !missing_globals
+      missing_globals := Ident.Set.remove id !missing_globals;
+      provided_globals := Ident.Set.add id !provided_globals
   | _ -> ()
 
 let scan_file obj_name tolink =