From 682a09b377ae85de6b59b481af4b7d0812f4b456 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Mon, 24 Mar 2025 14:53:54 +0100 Subject: In case of identified error, leave the state properly at the end of the location --- lib/qparser/lexbuf.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/qparser/lexbuf.mli') diff --git a/lib/qparser/lexbuf.mli b/lib/qparser/lexbuf.mli index d656642..8beb9da 100644 --- a/lib/qparser/lexbuf.mli +++ b/lib/qparser/lexbuf.mli @@ -82,6 +82,9 @@ val enter_state : t -> state -> unit val leave_state : t -> unit (** Leave the current state *) +val clear_state : t -> unit +(** Remove all the elements from the stack *) + val overlay : t -> lexer -> lexer val start_recovery : t -> unit -- cgit v1.2.3