report ML_source;

--- a/src/Pure/ML/ml_context.ML	Thu Aug 14 20:13:42 2008 +0200
+++ b/src/Pure/ML/ml_context.ML	Thu Aug 14 20:13:43 2008 +0200
@@ -163,6 +163,7 @@
 
 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";