# HG changeset patch
# User wenzelm
# Date 1345834053 -7200
# Node ID 27d8ccd1906c96837df5672518b58af4db494e41
# Parent  a2df77fcf1ebb630232cf8d202e9f03340942887
report source path and let front-end resolve implicit master location (e.g. URL);

diff -r a2df77fcf1eb -r 27d8ccd1906c src/Pure/Thy/thy_load.ML
--- a/src/Pure/Thy/thy_load.ML	Fri Aug 24 20:41:47 2012 +0200
+++ b/src/Pure/Thy/thy_load.ML	Fri Aug 24 20:47:33 2012 +0200
@@ -68,8 +68,8 @@
   let
     fun make_file file =
       let
+        val _ = Position.report pos (Isabelle_Markup.path (Path.implode file));
         val full_path = check_file dir file;
-        val _ = Position.report pos (Isabelle_Markup.path (Path.implode full_path));
       in {src_path = file, text = File.read full_path, pos = Path.position full_path} end;
     val paths =
       (case Keyword.command_files cmd of