diff options
Diffstat (limited to 'stdlib/format.ml')
| -rw-r--r-- | stdlib/format.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/format.ml b/stdlib/format.ml index ff26946cd..cbbb1a16a 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -566,7 +566,8 @@ let pp_set_formatter_output_functions state f g = let pp_get_formatter_output_functions state () = (state.pp_output_function, state.pp_flush_function);; -let pp_set_all_formatter_output_functions state f g h i = +let pp_set_all_formatter_output_functions state + ~out:f ~flush:g ~newline:h ~spaces:i = pp_set_formatter_output_functions state f g; state.pp_output_newline <- (function _ -> function () -> h ()); state.pp_output_spaces <- (function _ -> function n -> i n);; |