changeset 48992 | 0518bf89c777 |
parent 47005 | 421760a1efe7 |
child 49687 | 4b9034f089eb |
--- a/src/Pure/type.ML Wed Aug 29 11:31:07 2012 +0200 +++ b/src/Pure/type.ML Wed Aug 29 11:48:45 2012 +0200 @@ -258,7 +258,7 @@ fun the_decl tsig (c, pos) = (case lookup_type tsig c of - NONE => error (undecl_type c ^ Position.str_of pos) + NONE => error (undecl_type c ^ Position.here pos) | SOME decl => decl);