diff options
| author | Chimrod <> | 2025-03-24 14:53:54 +0100 |
|---|---|---|
| committer | Chimrod <> | 2025-03-24 14:53:54 +0100 |
| commit | 682a09b377ae85de6b59b481af4b7d0812f4b456 (patch) | |
| tree | da627b5ab15bd9b72200c96638aee2ef31c5aa98 /lib/qparser/lexbuf.mli | |
| parent | 23bcff2eaf5938acc04507636698c034c4767a1e (diff) | |
In case of identified error, leave the state properly at the end of the location
Diffstat (limited to 'lib/qparser/lexbuf.mli')
| -rw-r--r-- | lib/qparser/lexbuf.mli | 3 |
1 files changed, 3 insertions, 0 deletions
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 |