--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML Thu Mar 03 11:20:48 2011 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML Thu Mar 03 11:20:48 2011 +0100
@@ -28,7 +28,7 @@
specialize: bool,
star_linear_preds: bool,
total_consts: bool option,
- needs: (term option * bool option) list,
+ needs: term list option,
tac_timeout: Time.time option,
evals: term list,
case_names: (string * int) list,
@@ -261,7 +261,7 @@
specialize: bool,
star_linear_preds: bool,
total_consts: bool option,
- needs: (term option * bool option) list,
+ needs: term list option,
tac_timeout: Time.time option,
evals: term list,
case_names: (string * int) list,