changeset 74561 | 8e6c973003c8 |
parent 74383 | 107941e8fa01 |
child 78095 | bc42c074e58f |
--- a/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML Wed Oct 20 17:11:46 2021 +0200 +++ b/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML Wed Oct 20 18:13:17 2021 +0200 @@ -179,7 +179,6 @@ ( type T = (Position.T * ctr_sugar) Symtab.table; val empty = Symtab.empty; - val extend = I; fun merge data : T = Symtab.merge (K true) data; );