diff options
Diffstat (limited to 'lex/main.ml')
| -rw-r--r-- | lex/main.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lex/main.ml b/lex/main.ml index 521632b2ff..076873f103 100644 --- a/lex/main.ml +++ b/lex/main.ml @@ -75,11 +75,11 @@ let main () = if !ml_automata then begin Outputbis.output_lexdef source_name ic oc tr - def.header entries transitions def.trailer + def.header def.refill_handler entries transitions def.trailer end else begin let tables = Compact.compact_tables transitions in Output.output_lexdef source_name ic oc tr - def.header tables entries def.trailer + def.header def.refill_handler tables entries def.trailer end; close_in ic; close_out oc; |