src/Pure/General/url.ML
changeset 15627 7a108ae4c798
parent 15625 43f1669cbae3
child 16195 0eb3c15298cd
--- 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