--- a/src/HOL/Tools/Nitpick/kodkod.ML Wed Feb 17 12:14:21 2010 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML Wed Feb 17 13:38:02 2010 +0100
@@ -1019,8 +1019,8 @@
val indexed_problems = if j >= 0 then
[(j, nth problems j)]
else
- filter (is_problem_trivially_false o snd)
- (0 upto length problems - 1 ~~ problems)
+ filter_out (is_problem_trivially_false o snd)
+ (0 upto length problems - 1 ~~ problems)
val triv_js = filter_out (AList.defined (op =) indexed_problems)
(0 upto length problems - 1)
(* int -> int *)