From 9859b759453dd460e03697f852d59fc6570fac27 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 19 Aug 2021 10:21:07 -0400 Subject: [PATCH] bugfix in CCIO --- src/core/CCIO.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCIO.ml b/src/core/CCIO.ml index 1ae7744d..c8379c0d 100644 --- a/src/core/CCIO.ml +++ b/src/core/CCIO.ml @@ -111,7 +111,7 @@ let read_lines_gen ic = with End_of_file -> (stop:=true; None) let read_lines_seq ic = - seq_of_gen_ (read_chunks_gen ic) + seq_of_gen_ (read_lines_gen ic) let read_lines_l ic = let l = ref [] in