src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Tue Jun 21 22:17:11 2022 +0200
+++ b/src/Pure/PIDE/command.ML	Tue Jun 21 23:05:37 2022 +0200
@@ -72,7 +72,7 @@
 
     fun read_url () =
       let
-        val text = Isabelle_System.download file_node;
+        val text = Bytes.content (Isabelle_System.download file_node);
         val file_pos = Position.file file_node;
       in (text, file_pos) end;