--- a/src/Pure/ML/ml_context.ML Mon Mar 10 17:52:30 2014 +0100
+++ b/src/Pure/ML/ml_context.ML Mon Mar 10 18:06:23 2014 +0100
@@ -115,8 +115,8 @@
fun check_antiq ctxt = #1 o Name_Space.check (Context.Proof ctxt) (get_antiqs ctxt);
fun antiquotation src ctxt =
- let val (src', scan) = Args.check_src (Context.Proof ctxt) (get_antiqs ctxt) src
- in Args.context_syntax Markup.ML_antiquotationN scan src' ctxt end;
+ let val (src', scan) = Args.check_src ctxt (get_antiqs ctxt) src
+ in Args.syntax scan src' ctxt end;
(* parsing and evaluation *)