diff options
Diffstat (limited to 'asmcomp')
| -rw-r--r-- | asmcomp/asmlink.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index fff54f955b..20e0e6983d 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -248,8 +248,8 @@ let call_linker file_list startup_file = (List.map (fun dir -> if dir = "" then "" else Config.native_c_rpath ^ dir) (!Clflags.dllpaths @ - Dll.ld_library_path_contents() @ - Dll.ld_conf_contents()))) + Dllpath.ld_library_path_contents() @ + Dllpath.ld_conf_contents()))) (String.concat " " (List.rev !Clflags.ccobjs)) runtime_lib c_lib |