# HG changeset patch
# User wenzelm
# Date 1218737623 -7200
# Node ID 1ba19c9edd18137b834dde41b4762d9008aaeeb3
# Parent  af9f0adbab1fb7e0cfeaa966ae1e175647bc2f77
report ML_source;

diff -r af9f0adbab1f -r 1ba19c9edd18 src/Pure/ML/ml_context.ML
--- 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";