src/Pure/General/socket_io.ML

--- a/src/Pure/General/socket_io.ML	Sun Apr 10 21:46:12 2016 +0200
+++ b/src/Pure/General/socket_io.ML	Sun Apr 10 22:27:05 2016 +0200
@@ -4,8 +4,6 @@
 
 Stream IO over TCP sockets.  Following example 10.2 in "The Standard
 ML Basis Library" by Emden R. Gansner and John H. Reppy.
-
-Note: BinIO requires Poly/ML 5.5.x to work reliably.
 *)
 
 signature SOCKET_IO =