src/Pure/ML/ml_antiquote.ML

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