| changeset 81593 | 4bad9c465eef |
| parent 81591 | d570d215e380 |
| child 81594 | 7e1b66416b7f |
--- a/src/Pure/sign.ML Sat Dec 14 22:04:39 2024 +0100 +++ b/src/Pure/sign.ML Sat Dec 14 22:26:27 2024 +0100 @@ -220,7 +220,7 @@ fun mk_const thy (c, Ts) = Const (c, const_instance thy (c, Ts)); -fun declared_tyname ctxt c = can (Type.the_decl (tsig_of ctxt)) (c, Position.none); +fun declared_tyname thy c = can (Type.the_decl (tsig_of thy)) (c, Position.none); val declared_const = can o the_const_constraint;