diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/pervasives.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 93aac3344..1aa3c439a 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -414,7 +414,7 @@ let (( ^^ ) : ('a, 'b, 'c, 'd) format4 -> ('d, 'b, 'c, 'e) format4 -> (* Miscellaneous *) -external sys_exit : int -> 'a = "sys_exit" +external sys_exit : int -> 'a = "caml_sys_exit" let exit_function = ref flush_all |