src/HOL/Tools/Nitpick/kodkod.ML
changeset 35187 3acab6c90d4a
parent 35185 9b8f351cced6
child 35280 54ab4921f826
     1.1 --- a/src/HOL/Tools/Nitpick/kodkod.ML	Wed Feb 17 12:14:21 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/kodkod.ML	Wed Feb 17 13:38:02 2010 +0100
     1.3 @@ -1019,8 +1019,8 @@
     1.4      val indexed_problems = if j >= 0 then
     1.5                               [(j, nth problems j)]
     1.6                             else
     1.7 -                             filter (is_problem_trivially_false o snd)
     1.8 -                                    (0 upto length problems - 1 ~~ problems)
     1.9 +                             filter_out (is_problem_trivially_false o snd)
    1.10 +                                        (0 upto length problems - 1 ~~ problems)
    1.11      val triv_js = filter_out (AList.defined (op =) indexed_problems)
    1.12                               (0 upto length problems - 1)
    1.13      (* int -> int *)