src/HOL/Tools/Nitpick/kodkod.ML

--- a/src/HOL/Tools/Nitpick/kodkod.ML	Mon Dec 14 12:14:12 2009 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Mon Dec 14 12:30:26 2009 +0100
@@ -996,7 +996,7 @@
 (* bool -> Time.time option -> int -> int -> problem list -> outcome *)
 fun solve_any_problem overlord deadline max_threads max_solutions problems =
   let
-    val j = find_index (equal True o #formula) problems
+    val j = find_index (curry (op =) True o #formula) problems
     val indexed_problems = if j >= 0 then
                              [(j, nth problems j)]
                            else