File: bi_outbuf

package info (click to toggle)
botch 0.24-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,084,412 kB
  • sloc: xml: 11,924,892; ml: 4,489; python: 3,890; sh: 1,264; makefile: 334
file content (15 lines) | stat: -rw-r--r-- 398 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
--- 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 ();;