summaryrefslogtreecommitdiff
path: root/stdlib/printf.ml
diff options
context:
space:
mode:
authorJeremy Yallop <yallop@gmail.com>2015-10-19 11:58:13 +0100
committerJeremy Yallop <yallop@gmail.com>2015-10-27 00:02:45 +0000
commite999c6862289b6e898ea135062560335a77a93e6 (patch)
treeec679f94ef1afbec27ec4164c7adf5e20b8f5227 /stdlib/printf.ml
parent1644284d0fc5f9aee8df5f717f92759a59b4fb4f (diff)
downloadocaml-e999c6862289b6e898ea135062560335a77a93e6.tar.gz
Use make_iprintf to build Printf.ikfprintf and Printf.ifprintf.
Diffstat (limited to 'stdlib/printf.ml')
-rw-r--r--stdlib/printf.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/printf.ml b/stdlib/printf.ml
index 1152429f9a..e6f2640746 100644
--- a/stdlib/printf.ml
+++ b/stdlib/printf.ml
@@ -19,7 +19,7 @@ let kfprintf k o (Format (fmt, _)) =
let kbprintf k b (Format (fmt, _)) =
make_printf (fun b acc -> bufput_acc b acc; k b) b End_of_acc fmt
let ikfprintf k oc (Format (fmt, _)) =
- make_printf (fun oc _ -> k oc) oc End_of_acc fmt
+ make_iprintf k oc fmt
let fprintf oc fmt = kfprintf ignore oc fmt
let bprintf b fmt = kbprintf ignore b fmt