diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-11 14:08:43 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-11 14:08:43 +0000 |
| commit | 7b80e7df6f2221728f00bbfee7ce3d87d534b2c3 (patch) | |
| tree | 4c42360fad4c8bf2744c706f1ee67adc8eed4228 | |
| parent | 45e53cb86c279e5d24b9d6a7f625f13c02cb0575 (diff) | |
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
| -rw-r--r-- | bytecomp/symtable.ml | 2 |
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"); |