diff -r f68df517e8c4 -r 31ea5c1f874d src/Pure/consts.ML
--- a/src/Pure/consts.ML	Fri May 05 12:34:23 2023 +0200
+++ b/src/Pure/consts.ML	Fri May 05 15:56:12 2023 +0200
@@ -140,7 +140,7 @@
 fun space_of (Consts {decls, ...}) = Name_Space.space_of_table decls;
 
 fun alias naming binding name = map_consts (fn (decls, constraints, rev_abbrevs) =>
-  ((Name_Space.alias_table naming binding name decls), constraints, rev_abbrevs));
+  ((Name_Space.alias_table naming true binding name decls), constraints, rev_abbrevs));
 
 val is_concealed = Name_Space.is_concealed o space_of;