# HG changeset patch
# User blanchet
# Date 1258492851 -3600
# Node ID daf236998f8233ff648dc1e5a1bb0f6b6b1b7607
# Parent  e82531ebf5f3639c07ea5996b418aaf68e749c2f
comment out debugging code in Nitpick

diff -r e82531ebf5f3 -r daf236998f82 src/HOL/Tools/Nitpick/nitpick.ML
--- 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) =