--- 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;