bugfix in CCIO

This commit is contained in:
Simon Cruanes 2021-08-19 10:21:07 -04:00
parent aa05f69471
commit 9859b75945
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6

View file

@ -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