src/Tools/WWW_Find/ROOT.ML

--- a/src/Tools/WWW_Find/ROOT.ML	Fri Sep 23 17:11:08 2011 +0200
+++ b/src/Tools/WWW_Find/ROOT.ML	Fri Sep 23 17:23:54 2011 +0200
@@ -5,7 +5,7 @@
   use "http_status.ML";
   use "http_util.ML";
   use "xhtml.ML";
-  use "server_socket.ML";
+  use "socket_util.ML";
   use "scgi_req.ML";
   use "scgi_server.ML";
   use "echo.ML";