src/Pure/ROOT.ML
changeset 45066 11f622794ad6
parent 45029 63144ea111f7
child 45592 8baa0b7f3f66
     1.1 --- a/src/Pure/ROOT.ML	Fri Sep 23 17:11:08 2011 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Sep 23 17:23:54 2011 +0200
     1.3 @@ -57,7 +57,6 @@
     1.4  use "General/path.ML";
     1.5  use "General/url.ML";
     1.6  use "General/file.ML";
     1.7 -use "General/socket_io.ML";
     1.8  use "General/long_name.ML";
     1.9  use "General/binding.ML";
    1.10