comment out debugging code in Nitpick
authorblanchet
Tue Nov 17 22:20:51 2009 +0100 (2009-11-17 ago)
changeset 33745daf236998f82
parent 33744 e82531ebf5f3
child 33746 6c6ce0757bfe
comment out debugging code in Nitpick
src/HOL/Tools/Nitpick/nitpick.ML
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Tue Nov 17 19:47:27 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Tue Nov 17 22:20:51 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) =