1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
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 ();;
|
