diff options
Diffstat (limited to 'stdlib/filename.ml')
| -rw-r--r-- | stdlib/filename.ml | 2 |
1 files changed, 1 insertions, 1 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 ();; |