changeset 41792 | ff3cb0c418b7 |
parent 41791 | 01d722707a36 |
child 41793 | c7a2669ae75d |
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon Feb 21 10:42:29 2011 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon Feb 21 10:44:19 2011 +0100 @@ -1850,7 +1850,7 @@ |> AList.group (op =) |> Symtab.make fun const_def_tables ctxt subst ts = - (def_table_for (map prop_of o Nitpick_Defs.get) ctxt subst, + (def_table_for (map prop_of o Nitpick_Unfolds.get) ctxt subst, fold (fn (s, t) => Symtab.map_default (s, []) (cons t)) (map pair_for_prop ts) Symtab.empty)