diff options
Diffstat (limited to 'stdlib/random.ml')
| -rw-r--r-- | stdlib/random.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/random.ml b/stdlib/random.ml index 9374cb6c6..bdf238fd4 100644 --- a/stdlib/random.ml +++ b/stdlib/random.ml @@ -20,7 +20,7 @@ It is seeded by a MD5-based PRNG. *) -external random_seed: unit -> int = "sys_random_seed";; +external random_seed: unit -> int = "caml_sys_random_seed";; module State = struct |