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