summaryrefslogtreecommitdiff
path: root/stdlib/parsing.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/parsing.mli
parent502e4f9336c03e21442404fd1beba79df824d32d (diff)
downloadocaml-8557a86477048633b7694d6260ae9443e5173b21.tar.gz
Also enable more warnings in stdlib/ and fix them.
Diffstat (limited to 'stdlib/parsing.mli')
-rw-r--r--stdlib/parsing.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli
index e45dec9f45..baeae9ab5f 100644
--- a/stdlib/parsing.mli
+++ b/stdlib/parsing.mli
@@ -35,7 +35,7 @@ val rhs_start : int -> int
val rhs_end : int -> int
(** See {!Parsing.rhs_start}. *)
-val symbol_start_pos : unit -> Lexing.position;;
+val symbol_start_pos : unit -> Lexing.position
(** Same as [symbol_start], but return a [position] instead of an offset. *)
val symbol_end_pos : unit -> Lexing.position