diff options
Diffstat (limited to 'bytecomp/linker.ml')
| -rw-r--r-- | bytecomp/linker.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/linker.ml b/bytecomp/linker.ml index 93d5ae124..0ac4f2fa1 100644 --- a/bytecomp/linker.ml +++ b/bytecomp/linker.ml @@ -154,7 +154,7 @@ let link_bytecode objfiles exec_name copy_header = (* Copy the header *) if copy_header then begin try - let inchan = open_in_bin (find_in_path !load_path "header_exe") in + let inchan = open_in_bin (find_in_path !load_path "cslheader") in copy_file inchan outchan; close_in inchan with Not_found | Sys_error _ -> () |