diff options
Diffstat (limited to 'lex/syntax.ml')
| -rw-r--r-- | lex/syntax.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/lex/syntax.ml b/lex/syntax.ml index 72f101e253..b2993eaa02 100644 --- a/lex/syntax.ml +++ b/lex/syntax.ml @@ -38,7 +38,9 @@ type ('arg,'action) entry = args : 'arg ; clauses : (regular_expression * 'action) list} -type lexer_definition = - { header: location; - entrypoints: ((string list, location) entry) list; - trailer: location } +type lexer_definition = { + header: location; + entrypoints: ((string list, location) entry) list; + trailer: location; + refill_handler : location option; +} |