diff options
Diffstat (limited to 'stdlib/digest.ml')
| -rw-r--r-- | stdlib/digest.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/digest.ml b/stdlib/digest.ml index 04603303b..78a45d54e 100644 --- a/stdlib/digest.ml +++ b/stdlib/digest.ml @@ -17,8 +17,8 @@ type t = string -external unsafe_string: string -> int -> int -> t = "md5_string" -external channel: in_channel -> int -> t = "md5_chan" +external unsafe_string: string -> int -> int -> t = "caml_md5_string" +external channel: in_channel -> int -> t = "caml_md5_chan" let string str = unsafe_string str 0 (String.length str) |