# HG changeset patch
# User wenzelm
# Date 1608292645 -3600
# Node ID 756b9cb8a17665c5ac66327cb2f0a7d2deaf3d58
# Parent  50c48773b954af671f3ca5da94c1f60ff425aaeb
clarified markup (refining dd56ba1974e6);

diff -r 50c48773b954 -r 756b9cb8a176 src/Pure/PIDE/command.ML
--- 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;