diff options
Diffstat (limited to 'stdlib/format.ml')
| -rw-r--r-- | stdlib/format.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/format.ml b/stdlib/format.ml index 2eb8f6760..f5deb0674 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -1193,6 +1193,7 @@ let mkprintf to_s get_out = **************************************************************) let kfprintf k ppf = mkprintf false (fun _ -> ppf) k;; +let ifprintf ppf = Printf.kapr (fun _ -> Obj.magic ignore);; let fprintf ppf = kfprintf ignore ppf;; let printf fmt = fprintf std_formatter fmt;; |