From c9fc81d05d987411786577170e9ceaef6f4ce5bd Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Wed, 22 Aug 2018 18:12:42 +0300 Subject: [PATCH] 4.02.3 compat Signed-off-by: Rudi Grinberg --- src/glob_lexer.mli | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/glob_lexer.mli b/src/glob_lexer.mli index c814351b..6f626ada 100644 --- a/src/glob_lexer.mli +++ b/src/glob_lexer.mli @@ -1 +1,3 @@ -val parse_string : string -> (Re.t, int * string) result +open Stdune + +val parse_string : string -> (Re.t, int * string) Result.result