From: Johannes Schauer Marin Rodrigues <josch@debian.org>
Date: Thu, 13 Feb 2025 19:26:53 +0100
Subject: print-stats.ml: replace Bi_outbuf by Buffer

---
 print-stats.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/print-stats.ml b/print-stats.ml
index 650215c..4a9c634 100644
--- a/print-stats.ml
+++ b/print-stats.ml
@@ -199,9 +199,9 @@ let main () =
    *
    * https://github.com/mjambon/atdgen/issues/43
    * *)
-  let ob = Bi_outbuf.create_channel_writer stdout in
-  Datatypes_j.write_stats ob result;
-  Bi_outbuf.flush_channel_writer ob;
+  let buf = Buffer.create 1000 in
+  Datatypes_j.write_stats buf result;
+  Buffer.output_buffer stdout buf;
 ;;
 
 main ();;