Author: Mehdi Dogguy <mehdi@debian.org>
Description: Stop using deprecated function Format.bprintf

Index: why/src/encoding_mono_inst.ml
===================================================================
--- why.orig/src/encoding_mono_inst.ml	2017-04-22 20:31:28.757873905 +0200
+++ why/src/encoding_mono_inst.ml	2017-04-22 20:31:28.757873905 +0200
@@ -139,7 +139,8 @@
     | PTexternal (l,id) -> fprintf fmt "%aI%a"
         (Pp.print_list (Pp.constant_string "I") aux) l Ident.print id in
   let b = Buffer.create 10 in
-  Format.bprintf b "%a@?" aux t;
+  let to_b = Format.formatter_of_buffer b in
+  Format.fprintf to_b "%a@?" aux t;
   let from = match from,t with
     | true,PTexternal (l,id) -> Some (create_ident_id,id::(List.map (ident_of_close_type ~from:false) l))
     | _ -> None in
