diff -r 5f388e514ab8 -r 77ef8bef0593 src/Pure/General/url.scala
--- a/src/Pure/General/url.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Pure/General/url.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -43,7 +43,7 @@
     catch { case ERROR(_) => false }
 
   def is_readable(name: String): Boolean =
-    try { Url(name).openStream.close; true }
+    try { Url(name).openStream.close(); true }
     catch { case ERROR(_) => false }