From 8557a86477048633b7694d6260ae9443e5173b21 Mon Sep 17 00:00:00 2001 From: Alain Frisch Date: Wed, 9 Mar 2016 23:20:22 +0100 Subject: Also enable more warnings in stdlib/ and fix them. --- stdlib/parsing.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stdlib/parsing.mli') 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 -- cgit v1.2.1