summaryrefslogtreecommitdiff
path: root/stdlib/random.mli
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2016-03-09 23:20:22 +0100
committeralainfrisch <alain@frisch.fr>2016-03-15 22:47:26 +0100
commit8557a86477048633b7694d6260ae9443e5173b21 (patch)
treed1f039a0bd0eeb6235d72b0a7652092320c14137 /stdlib/random.mli
parent502e4f9336c03e21442404fd1beba79df824d32d (diff)
downloadocaml-8557a86477048633b7694d6260ae9443e5173b21.tar.gz
Also enable more warnings in stdlib/ and fix them.
Diffstat (limited to 'stdlib/random.mli')
-rw-r--r--stdlib/random.mli6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/random.mli b/stdlib/random.mli
index a5bf758f27..54705ddcae 100644
--- a/stdlib/random.mli
+++ b/stdlib/random.mli
@@ -42,15 +42,15 @@ val int : int -> int
and [bound] (exclusive). [bound] must be greater than 0 and less
than 2{^30}. *)
-val int32 : Int32.t -> Int32.t;;
+val int32 : Int32.t -> Int32.t
(** [Random.int32 bound] returns a random integer between 0 (inclusive)
and [bound] (exclusive). [bound] must be greater than 0. *)
-val nativeint : Nativeint.t -> Nativeint.t;;
+val nativeint : Nativeint.t -> Nativeint.t
(** [Random.nativeint bound] returns a random integer between 0 (inclusive)
and [bound] (exclusive). [bound] must be greater than 0. *)
-val int64 : Int64.t -> Int64.t;;
+val int64 : Int64.t -> Int64.t
(** [Random.int64 bound] returns a random integer between 0 (inclusive)
and [bound] (exclusive). [bound] must be greater than 0. *)