--- a/src/Pure/ML-Systems/polyml.ML Wed Oct 16 12:04:38 2013 +0200
+++ b/src/Pure/ML-Systems/polyml.ML Wed Oct 16 12:14:35 2013 +0200
@@ -51,6 +51,8 @@
val raw_explode = SML90.explode;
val implode = SML90.implode;
+val io_buffer_size = 4096;
+
fun quit () = exit 0;