src/HOL/Tools/Nitpick/nitpick.ML
changeset 41871 394eef237bd1
parent 41869 9e367f1c9570
child 41872 10fd9e5d58ba
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Wed Mar 02 13:09:57 2011 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Wed Mar 02 14:50:16 2011 +0100
     1.3 @@ -288,14 +288,14 @@
     1.4         stds = stds, wfs = wfs, user_axioms = user_axioms, debug = debug,
     1.5         whacks = whacks, binary_ints = binary_ints,
     1.6         destroy_constrs = destroy_constrs, specialize = specialize,
     1.7 -       star_linear_preds = star_linear_preds, preconstrs = preconstrs,
     1.8 -       tac_timeout = tac_timeout, evals = evals, case_names = case_names,
     1.9 -       def_tables = def_tables, nondef_table = nondef_table,
    1.10 -       user_nondefs = user_nondefs, simp_table = simp_table,
    1.11 -       psimp_table = psimp_table, choice_spec_table = choice_spec_table,
    1.12 -       intro_table = intro_table, ground_thm_table = ground_thm_table,
    1.13 -       ersatz_table = ersatz_table, skolems = Unsynchronized.ref [],
    1.14 -       special_funs = Unsynchronized.ref [],
    1.15 +       star_linear_preds = star_linear_preds, total_consts = total_consts,
    1.16 +       preconstrs = preconstrs, tac_timeout = tac_timeout, evals = evals,
    1.17 +       case_names = case_names, def_tables = def_tables,
    1.18 +       nondef_table = nondef_table, user_nondefs = user_nondefs,
    1.19 +       simp_table = simp_table, psimp_table = psimp_table,
    1.20 +       choice_spec_table = choice_spec_table, intro_table = intro_table,
    1.21 +       ground_thm_table = ground_thm_table, ersatz_table = ersatz_table,
    1.22 +       skolems = Unsynchronized.ref [], special_funs = Unsynchronized.ref [],
    1.23         unrolled_preds = Unsynchronized.ref [], wf_cache = Unsynchronized.ref [],
    1.24         constr_cache = Unsynchronized.ref []}
    1.25      val pseudo_frees = []