src/Pure/ML/ml_context.ML

--- a/src/Pure/ML/ml_context.ML	Wed Aug 25 18:46:22 2010 +0200
+++ b/src/Pure/ML/ml_context.ML	Wed Aug 25 20:43:03 2010 +0200
@@ -166,7 +166,9 @@
 fun eval verbose pos ants =
   let
     (*prepare source text*)
-    val ((env, body), env_ctxt) = eval_antiquotes (ants, pos) (Context.thread_data ());
+    val ((env, body), env_ctxt) =
+      eval_antiquotes (ants, pos) (Context.thread_data ())
+      ||> Option.map (Context.mapping I (Context_Position.set_visible false));
     val _ =
       if ! trace then tracing (cat_lines [ML_Lex.flatten env, ML_Lex.flatten body])
       else ();