| changeset 77970 | 31ea5c1f874d |
| parent 77889 | 5db014c36f42 |
| child 77979 | a12c48fbf10f |
--- a/src/Pure/Isar/proof_context.ML Fri May 05 12:34:23 2023 +0200 +++ b/src/Pure/Isar/proof_context.ML Fri May 05 15:56:12 2023 +0200 @@ -1076,7 +1076,7 @@ end; -fun alias_fact b c ctxt = map_facts (Facts.alias (naming_of ctxt) b c) ctxt; +fun alias_fact b c ctxt = map_facts (Facts.alias (naming_of ctxt) false b c) ctxt;