src/Pure/Isar/proof_context.ML

--- a/src/Pure/Isar/proof_context.ML	Sat Apr 23 18:09:27 2011 +0200
+++ b/src/Pure/Isar/proof_context.ML	Sat Apr 23 18:25:50 2011 +0200
@@ -483,7 +483,7 @@
     else
       let
         val d = intern_type ctxt c;
-        val decl = Type.the_decl tsig d handle ERROR msg => error (msg ^ Position.str_of pos);
+        val decl = Type.the_decl tsig (d, pos);
         fun err () = error ("Bad type name: " ^ quote d ^ Position.str_of pos);
         val args =
           (case decl of