1.1 --- a/src/Pure/ML/ml_antiquote.ML	Sat Apr 23 18:09:27 2011 +0200
     1.2 +++ b/src/Pure/ML/ml_antiquote.ML	Sat Apr 23 18:25:50 2011 +0200
     1.3 @@ -121,7 +121,7 @@
     1.4    >> (fn (ctxt, (s, pos)) =>
     1.5      let
     1.6        val Type (c, _) = Proof_Context.read_type_name_proper ctxt false s;
     1.7 -      val decl = Type.the_decl (Proof_Context.tsig_of ctxt) c;
     1.8 +      val decl = Type.the_decl (Proof_Context.tsig_of ctxt) (c, pos);
     1.9        val res =
    1.10          (case try check (c, decl) of
    1.11            SOME res => res