src/Pure/Thy/thy_load.ML
changeset 56034 1c59b555ac4a
parent 55882 912c9aa8de32
child 56134 4a7a07c01857
     1.1 --- a/src/Pure/Thy/thy_load.ML	Mon Mar 10 20:27:08 2014 +0100
     1.2 +++ b/src/Pure/Thy/thy_load.ML	Mon Mar 10 21:15:29 2014 +0100
     1.3 @@ -194,6 +194,8 @@
     1.4  
     1.5  fun file_antiq strict ctxt (name, pos) =
     1.6    let
     1.7 +    val _ = Context_Position.report ctxt pos Markup.language_path;
     1.8 +
     1.9      val dir = master_directory (Proof_Context.theory_of ctxt);
    1.10      val path = Path.append dir (Path.explode name)
    1.11        handle ERROR msg => error (msg ^ Position.here pos);