From 6b994337169018c2cb7ea905cb4bbe599518ca37 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 00e914bf..4a2e6291 100644 --- a/src/core/CCIO.ml +++ b/src/core/CCIO.ml @@ -116,7 +116,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