aboutsummaryrefslogtreecommitdiff
path: root/UTF8.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-10-25 14:50:32 +0200
committerSébastien Dailly <sebastien@chimrod.com>2017-10-31 16:02:40 +0100
commit01d7f77f65c3a2b83978b1f00c87b54f00647816 (patch)
tree32a83b8c529b0bc10917520918a49774ed32be9a /UTF8.ml
parent85231845871c841089308c9bc92569d36cb548db (diff)
Update sheet traversal
Diffstat (limited to 'UTF8.ml')
-rwxr-xr-xUTF8.ml12
1 files changed, 12 insertions, 0 deletions
diff --git a/UTF8.ml b/UTF8.ml
index 4fa5eca..fa02040 100755
--- a/UTF8.ml
+++ b/UTF8.ml
@@ -38,3 +38,15 @@ module Printf = struct
include Printf
end
+
+module Format = struct
+
+ include Format
+
+ let bprintf buffer fformat = begin
+ let to_b = formatter_of_buffer buffer in
+ let x = fprintf to_b fformat in
+ x
+ end
+
+end