src/Pure/ML/ml_context.ML

 
 val trace = ref false;
 
 fun eval_wrapper pr verbose pos txt =
   let
+    val _ = Position.report Markup.ML_source pos;
     val struct_name =
       if Multithreading.available then "Isabelle" ^ serial_string ()
       else "Isabelle";
     val ((env, body), env_ctxt) = eval_antiquotes struct_name (txt, pos) (Context.thread_data ());
     val _ = if ! trace then tracing (cat_lines [env, body]) else ();