From 10bea1e41743d136dabf1e4264d73715509d1388 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 13 Dec 2023 13:13:32 -0500 Subject: [PATCH] small fix --- src/blocking_IO.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/blocking_IO.ml b/src/blocking_IO.ml index e47c787f..1abfc836 100644 --- a/src/blocking_IO.ml +++ b/src/blocking_IO.ml @@ -35,7 +35,10 @@ let rec read ic buf i len = read ic buf (i + n) (len - n) ) -let read_line = input_line +let read_line ic = + let l = input_line ic in + ignore (Atomic.fetch_and_add n_bytes_read (String.length l) : int); + l let write oc b i len = output oc b i len;