src/Pure/ML/ml_context.ML

--- a/src/Pure/ML/ml_context.ML	Wed Aug 29 11:31:07 2012 +0200
+++ b/src/Pure/ML/ml_context.ML	Wed Aug 29 11:48:45 2012 +0200
@@ -150,7 +150,7 @@
         let
           val ctxt =
             (case opt_ctxt of
-              NONE => error ("No context -- cannot expand ML antiquotations" ^ Position.str_of pos)
+              NONE => error ("No context -- cannot expand ML antiquotations" ^ Position.here pos)
             | SOME ctxt => Context.proof_of ctxt);
 
           val lex = #1 (Keyword.get_lexicons ());