--- a/src/HOL/Nitpick_Examples/Mono_Nits.thy Thu Mar 03 10:55:41 2011 +0100
+++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy Thu Mar 03 11:20:48 2011 +0100
@@ -39,7 +39,7 @@
stds = stds, wfs = [], user_axioms = NONE, debug = false,
whacks = [], binary_ints = SOME false, destroy_constrs = true,
specialize = false, star_linear_preds = false, total_consts = NONE,
- preconstrs = [], tac_timeout = NONE, evals = [], case_names = case_names,
+ needs = [], tac_timeout = NONE, evals = [], case_names = case_names,
def_tables = def_tables, nondef_table = nondef_table,
user_nondefs = user_nondefs, simp_table = simp_table,
psimp_table = psimp_table, choice_spec_table = choice_spec_table,