| changeset 74561 | 8e6c973003c8 |
| parent 67649 | 1e1782c1aedf |
| child 77908 | a6bd716a6124 |
--- a/src/Pure/Isar/context_rules.ML Wed Oct 20 17:11:46 2021 +0200 +++ b/src/Pure/Isar/context_rules.ML Wed Oct 20 18:13:17 2021 +0200 @@ -99,7 +99,6 @@ ( type T = rules; val empty = make_rules ~1 [] empty_netpairs ([], []); - val extend = I; fun merge (Rules {rules = rules1, wrappers = (ws1, ws1'), ...}, Rules {rules = rules2, wrappers = (ws2, ws2'), ...}) =