diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/filename.ml | 2 | ||||
| -rw-r--r-- | stdlib/pervasives.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/filename.ml b/stdlib/filename.ml index 10f8d27f6..96f5aafa0 100644 --- a/stdlib/filename.ml +++ b/stdlib/filename.ml @@ -212,7 +212,7 @@ let chop_extension name = with Not_found -> invalid_arg "Filename.chop_extension" -external open_desc: string -> open_flag list -> int -> int = "sys_open" +external open_desc: string -> open_flag list -> int -> int = "caml_sys_open" external close_desc: int -> unit = "sys_close" let prng = Random.State.make_self_init ();; diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index e74749939..93aac3344 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -226,7 +226,7 @@ type open_flag = | Open_creat | Open_trunc | Open_excl | Open_binary | Open_text | Open_nonblock -external open_desc: string -> open_flag list -> int -> int = "sys_open" +external open_desc: string -> open_flag list -> int -> int = "caml_sys_open" let open_out_gen mode perm name = open_descriptor_out(open_desc name mode perm) |