From bd81eaef87c5eb3a5d5bf398e151235e4e5c81a1 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Wed, 21 Sep 2016 13:59:35 +0200 Subject: Fix an error-prone error API. --- interp/topconstr.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'interp/topconstr.mli') diff --git a/interp/topconstr.mli b/interp/topconstr.mli index ac98331c6..95d702f8d 100644 --- a/interp/topconstr.mli +++ b/interp/topconstr.mli @@ -46,4 +46,4 @@ val patntn_loc : (** For cases pattern parsing errors *) -val error_invalid_pattern_notation : ?loc:Loc.t -> 'a +val error_invalid_pattern_notation : ?loc:Loc.t -> unit -> 'a -- cgit v1.2.3