lib/core: remove BufferedReader
authorLucas Bajolet <lucas.bajolet@gmail.com>
Sun, 13 May 2018 13:55:27 +0000 (09:55 -0400)
committerLucas Bajolet <lucas.bajolet@gmail.com>
Sun, 13 May 2018 13:55:27 +0000 (09:55 -0400)
commitcf397a25b6db16e752aa102ad0f65b1d7c96018e
tree29775d2783c8bcf848393f89abf9cab70af363ed
parentb49fa6fb09d391564ca64d5f10566e64aa083d11
lib/core: remove BufferedReader

Since the streams are often already buffered in the libraries we depend
upon, and since it is not used anymore on streams present in the
librarires, we remove it.

Signed-off-by: Lucas Bajolet <lucas.bajolet@gmail.com>
lib/core/stream.nit