Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/entity.ML
changeset 77970 31ea5c1f874d
parent 63090 7aa9ac5165e4
child 77979 a12c48fbf10f 
--- a/src/Pure/Isar/entity.ML	Fri May 05 12:34:23 2023 +0200
+++ b/src/Pure/Isar/entity.ML	Fri May 05 15:56:12 2023 +0200
@@ -39,7 +39,7 @@
     let
       val naming = Name_Space.naming_of context;
       val binding' = Morphism.binding phi binding;
-      val data' = Name_Space.alias_table naming binding' name (get_data context);
+      val data' = Name_Space.alias_table naming true binding' name (get_data context);
     in put_data data' context end);
 
 fun transfer {get_data, put_data} ctxt =
isabelle