summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--bytecomp/symtable.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/symtable.ml b/bytecomp/symtable.ml
index d1bde25fc..94392ffef 100644
--- a/bytecomp/symtable.ml
+++ b/bytecomp/symtable.ml
@@ -246,7 +246,7 @@ let update_global_table () =
let init_toplevel () =
(* Read back the known global symbols and the known primitives
from the executable file *)
- let ic = open_in_bin Sys.argv.(0) in
+ let ic = open_in_bin Sys.executable_name in
begin try
Bytesections.read_toc ic;
ignore(Bytesections.seek_section ic "SYMB");