bugfix in CCIO

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

View file

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