aboutsummaryrefslogtreecommitdiff
path: root/UTF8.ml
diff options
context:
space:
mode:
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