src/Tools/quickcheck.ML

--- a/src/Tools/quickcheck.ML	Wed Oct 20 17:11:46 2021 +0200
+++ b/src/Tools/quickcheck.ML	Wed Oct 20 18:13:17 2021 +0200
@@ -213,7 +213,6 @@
     (string * (Proof.context -> term list -> (int -> bool) list)) list *
     test_params;
   val empty = ([], [], [], Test_Params {default_type = [], expect = No_Expectation});
-  val extend = I;
   fun merge
    ((testers1, batch_generators1, batch_validators1, params1),
     (testers2, batch_generators2, batch_validators2, params2)) : T =