--- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML Fri Nov 13 06:24:31 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML Fri Nov 13 15:59:53 2009 +0100
@@ -216,7 +216,7 @@
("int_add", tabulate_int_op2 debug univ_card (int_card, j0) (op +))
else if Kodkod.Rel x = nat_subtract_rel then
("nat_subtract",
- tabulate_op2 debug univ_card (nat_card, j0) j0 (op nat_minus))
+ tabulate_op2 debug univ_card (nat_card, j0) j0 (uncurry nat_minus))
else if Kodkod.Rel x = int_subtract_rel then
("int_subtract", tabulate_int_op2 debug univ_card (int_card, j0) (op -))
else if Kodkod.Rel x = nat_multiply_rel then