src/Pure/Thy/term_style.ML
changeset 56032 b034b9f0fa2a
parent 56030 ef2ffd622264
child 56201 dd2df97b379b
     1.1 --- a/src/Pure/Thy/term_style.ML	Mon Mar 10 17:52:30 2014 +0100
     1.2 +++ b/src/Pure/Thy/term_style.ML	Mon Mar 10 18:06:23 2014 +0100
     1.3 @@ -35,8 +35,8 @@
     1.4  fun parse_single ctxt =
     1.5    Parse.position Parse.xname -- Args.parse >> (fn (name, args) =>
     1.6      let
     1.7 -      val (src, parse) = Args.check_src (Context.Proof ctxt) (get_data ctxt) (Args.src name args);
     1.8 -      val (f, _) = Args.context_syntax "antiquotation_style" (Scan.lift parse) src ctxt;
     1.9 +      val (src, parse) = Args.check_src ctxt (get_data ctxt) (Args.src name args);
    1.10 +      val (f, _) = Args.syntax (Scan.lift parse) src ctxt;
    1.11      in f ctxt end);
    1.12  
    1.13  val parse = Args.context :|-- (fn ctxt => Scan.lift