diff options
| author | Chimrod <> | 2023-09-29 19:06:41 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-09-29 19:10:04 +0200 |
| commit | 2e41a214e4c2a2984ad3b2afa3d80178d227927f (patch) | |
| tree | 5c02005d6bec087a455f840f766de482fb6cf66d /lib/lexbuf.mli | |
| parent | 7f93c2a6b351c02e506d521ea7363f813618e430 (diff) | |
Added a global line counter (off by default)
Diffstat (limited to 'lib/lexbuf.mli')
| -rw-r--r-- | lib/lexbuf.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/lexbuf.mli b/lib/lexbuf.mli index 918c011..41f07d1 100644 --- a/lib/lexbuf.mli +++ b/lib/lexbuf.mli @@ -1,6 +1,6 @@ type t -val from_lexbuf : Sedlexing.lexbuf -> t +val from_lexbuf : ?reset_line:bool -> Sedlexing.lexbuf -> t (** Create a new buffer *) val start : t -> unit |