diff options
Diffstat (limited to 'lex')
| -rw-r--r-- | lex/output.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lex/output.ml b/lex/output.ml index c01b76ff03..c911c95c4a 100644 --- a/lex/output.ml +++ b/lex/output.ml @@ -99,8 +99,8 @@ let output_entry sourcefile ic oc oci e = copy_chunk sourcefile ic oc oci loc true; fprintf oc "\n") e.auto_actions; - fprintf oc " | n -> lexbuf.Lexing.refill_buff lexbuf; \ - __ocaml_lex_%s_rec %alexbuf n\n\n" + fprintf oc " | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; \ + __ocaml_lex_%s_rec %alexbuf __ocaml_lex_state\n\n" e.auto_name output_args e.auto_args (* Main output function *) |