1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Nov 13 15:59:53 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Tue Nov 17 19:47:27 2009 +0100
     1.3 @@ -434,11 +434,11 @@
     1.4                           def_us
     1.5          val nondef_us = map (choose_reps_in_nut scope liberal rep_table false)
     1.6                              nondef_us
     1.7 -(*
     1.8 +(*###
     1.9 +*)
    1.10          val _ = List.app (priority o string_for_nut ctxt)
    1.11                           (free_names @ sel_names @ nonsel_names @
    1.12                            core_u :: def_us @ nondef_us)
    1.13 -*)
    1.14          val (free_rels, pool, rel_table) =
    1.15            rename_free_vars free_names initial_pool NameTable.empty
    1.16          val (sel_rels, pool, rel_table) =