src/Pure/PIDE/command.ML
changeset 72945 756b9cb8a176
parent 72841 fd8d82c4433b
child 72950 ac6457a70db5
--- a/src/Pure/PIDE/command.ML	Fri Dec 18 11:44:34 2020 +0100
+++ b/src/Pure/PIDE/command.ML	Fri Dec 18 12:57:25 2020 +0100
@@ -66,7 +66,7 @@
       | SOME (Url.File _) => ()
       | _ =>
           error ("Prover cannot load remote file " ^
-            Markup.markup (Markup.path file_node) (quote file_node)));
+            Markup.markup (Markup.url file_node) (quote file_node)));
     val full_path = File.check_file (File.full_path master_dir src_path);
     val text = File.read full_path;
     val lines = split_lines text;