src/HOL/Tools/Nitpick/nitpick.ML
changeset 48323 7b5f7ca25d17
parent 47759 af40c7e90c1e
child 49024 224a0c63ba23
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Wed Jul 18 08:44:04 2012 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Wed Jul 18 08:44:04 2012 +0200
     1.3 @@ -1038,7 +1038,7 @@
     1.4            run_batches (j + 1) n (if max_genuine > 0 then batches else []) z
     1.5          end
     1.6  
     1.7 -    val batches = batch_list batch_size (!scopes)
     1.8 +    val batches = chunk_list batch_size (!scopes)
     1.9      val outcome_code =
    1.10        run_batches 0 (length batches) batches
    1.11                    (false, max_potential, max_genuine, 0)