src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Tue Apr 07 10:13:33 2015 +0200
+++ b/src/Pure/PIDE/command.ML	Tue Apr 07 11:25:54 2015 +0200
@@ -51,6 +51,7 @@
 
 fun read_file_node file_node master_dir pos src_path =
   let
+    val _ = Position.report pos Markup.language_path;
     val _ =
       (case try Url.explode file_node of
         NONE => ()