diff options
Diffstat (limited to 'stdlib/printf.ml')
| -rw-r--r-- | stdlib/printf.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/printf.ml b/stdlib/printf.ml index 677ad6323..1fbc0c145 100644 --- a/stdlib/printf.ml +++ b/stdlib/printf.ml @@ -523,6 +523,8 @@ let mkprintf to_s get_out outc outs flush k fmt = let kfprintf k oc = mkprintf false (fun _ -> oc) output_char output_string flush k;; +let ifprintf oc = kapr (fun _ -> Obj.magic ignore);; + let fprintf oc = kfprintf ignore oc;; let printf fmt = fprintf stdout fmt;; let eprintf fmt = fprintf stderr fmt;; |