changeset 77979 | a12c48fbf10f |
parent 77970 | 31ea5c1f874d |
child 78050 | f16067da45ef |
--- a/src/Pure/variable.ML Sat May 06 14:49:54 2023 +0200 +++ b/src/Pure/variable.ML Sat May 06 23:20:20 2023 +0200 @@ -433,7 +433,7 @@ ctxt |> map_fixes (Name_Space.define context true (Binding.make (x', pos), (x, proper)) #> snd #> - x <> "" ? Name_Space.alias_table Name_Space.global_naming false (Binding.make (x, pos)) x') + x <> "" ? Name_Space.alias_table Name_Space.global_naming (Binding.make (x, pos)) x') |> declare_fixed x |> declare_constraints (Syntax.free x') end;