diff options
Diffstat (limited to 'lex/common.ml')
| -rw-r--r-- | lex/common.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lex/common.ml b/lex/common.ml index 36f8225e31..13b48fac6d 100644 --- a/lex/common.ml +++ b/lex/common.ml @@ -159,5 +159,13 @@ let output_env ic oc tr env = let output_args oc args = List.iter (fun x -> (output_string oc x; output_char oc ' ')) args +let output_refill_handler ic oc oci = function + | None -> false + | Some location -> + output_string oc "let __ocaml_lex_refill : \ + (Lexing.lexbuf -> 'a) -> (Lexing.lexbuf -> 'a) =\n"; + copy_chunk ic oc oci location true; + true + (* quiet flag *) let quiet_mode = ref false;; |