diff options
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 |