--- a/src/HOL/Tools/Nitpick/nitpick.ML Tue Nov 17 19:47:27 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick.ML Tue Nov 17 22:20:51 2009 +0100
@@ -434,11 +434,11 @@
def_us
val nondef_us = map (choose_reps_in_nut scope liberal rep_table false)
nondef_us
-(*###
-*)
+(*
val _ = List.app (priority o string_for_nut ctxt)
(free_names @ sel_names @ nonsel_names @
core_u :: def_us @ nondef_us)
+*)
val (free_rels, pool, rel_table) =
rename_free_vars free_names initial_pool NameTable.empty
val (sel_rels, pool, rel_table) =