src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy
changeset 70119 b48a496ca0cd
parent 70118 62b875ba33e1
     1.1 --- a/src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy	Thu Apr 11 12:38:22 2019 +0200
     1.2 +++ b/src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy	Thu Apr 11 12:41:50 2019 +0200
     1.3 @@ -27,7 +27,10 @@
     1.4  
     1.5  context notes [[quickcheck_finite_types = true]]
     1.6  begin
     1.7 -  find_unused_assms List
     1.8 +  context notes [[quickcheck_finite_type_size = 2]]
     1.9 +  begin
    1.10 +    find_unused_assms List
    1.11 +  end
    1.12    find_unused_assms Map
    1.13  end
    1.14