Utliser Sys.executable_name au lieu de Sys.argv.(0) (PR#817)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-11 14:08:43 +00:00 · 2002-02-11 14:08:43 +00:00 · 7b80e7df6f
parent 45e53cb86c
commit 7b80e7df6f
1 changed files with 1 additions and 1 deletions
--- 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");