# HG changeset patch
# User wenzelm
# Date 1734211587 -3600
# Node ID 4bad9c465eefa181708d9d6ee5f2ebd1bc9b4153
# Parent  775dc5903ed5091418f1973080f86c5de513334a
tuned names;

diff -r 775dc5903ed5 -r 4bad9c465eef src/Pure/sign.ML
--- 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;