changeset 74561 | 8e6c973003c8 |
parent 74508 | 3315c551fe6e |
--- a/src/HOL/Tools/Nitpick/nitpick_commands.ML Wed Oct 20 17:11:46 2021 +0200 +++ b/src/HOL/Tools/Nitpick/nitpick_commands.ML Wed Oct 20 18:13:17 2021 +0200 @@ -130,7 +130,6 @@ ( type T = raw_param list val empty = default_default_params |> map (apsnd single) - val extend = I fun merge data = AList.merge (op =) (K true) data )