# HG changeset patch
# User aspinall
# Date 1111756441 -3600
# Node ID 7a108ae4c7981aac227567006171f9b4b4e9155a
# Parent  a8f71893950066880e6f8ee567c448ae22721e01
Revert previous change (but leave comments).

diff -r a8f718939500 -r 7a108ae4c798 src/Pure/General/url.ML
--- a/src/Pure/General/url.ML	Fri Mar 25 14:04:42 2005 +0100
+++ b/src/Pure/General/url.ML	Fri Mar 25 14:14:01 2005 +0100
@@ -67,9 +67,7 @@
   Scan.this_string "file://" |-- scan_host1 -- scan_path >> RemoteFile ||
   Scan.this_string "http://" |-- scan_host1 -- scan_path >> Http ||
   Scan.this_string "ftp://" |-- scan_host1 -- scan_path >> Ftp ||
-  Scan.this_string "file://" |-- scan_host1 -- scan_path >> Ftp (* or other proto *) ||
-  (* NB: this next one is not in RFC 1738, but produced by some Haskell libraries *)
-  Scan.this_string "file:" |-- scan_path >> File 
+  Scan.this_string "file://" |-- scan_host1 -- scan_path >> Ftp (* or other proto *)
 
 in