changeset 77979 | a12c48fbf10f |
parent 77970 | 31ea5c1f874d |
child 79134 | 5f0bbed1c606 |
--- a/src/Pure/type.ML Sat May 06 14:49:54 2023 +0200 +++ b/src/Pure/type.ML Sat May 06 23:20:20 2023 +0200 @@ -245,7 +245,7 @@ val type_space = Name_Space.space_of_table o #types o rep_tsig; fun type_alias naming binding name = map_tsig (fn (classes, default, types) => - (classes, default, (Name_Space.alias_table naming true binding name types))); + (classes, default, (Name_Space.alias_table naming binding name types))); fun undecl_type c = "Undeclared type constructor: " ^ quote c;