diff options
| author | Chimrod <> | 2023-10-03 18:19:15 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-15 19:04:36 +0200 |
| commit | 5a18a66763bcc19de117cb83293d7bd25a0ea10c (patch) | |
| tree | 1627ae50da1a87e5952b5fab21b7290b0555041e /lib/qparser/lexbuf.ml | |
| parent | 49f69c1ab4d3d8716f30d7bd36a66a4241e16d33 (diff) | |
Switched the keyword from string to a sum type
Diffstat (limited to 'lib/qparser/lexbuf.ml')
| -rw-r--r-- | lib/qparser/lexbuf.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/qparser/lexbuf.ml b/lib/qparser/lexbuf.ml index 8a3e41c..cd0add3 100644 --- a/lib/qparser/lexbuf.ml +++ b/lib/qparser/lexbuf.ml @@ -68,3 +68,4 @@ let decr_level : t -> unit = let reset_level : t -> unit = fun t -> t.expression_level <- 0 let level : t -> int = fun t -> t.expression_level +let rollback : t -> unit = fun t -> Sedlexing.rollback t.buffer |