diff options
-rw-r--r-- | stream.h | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -28,10 +28,10 @@ extern val std_input, std_output, std_error; val make_stdio_stream(FILE *, val descr, val input, val output); val make_pipe_stream(FILE *, val descr, val input, val output); -val make_string_input_stream(val ); -val make_string_byte_input_stream(val ); +val make_string_input_stream(val); +val make_string_byte_input_stream(val); val make_string_output_stream(void); -val get_string_from_stream(val ); +val get_string_from_stream(val); val make_dir_stream(DIR *); val close_stream(val stream, val throw_on_error); val get_line(val); |