1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Tue Jun 01 10:31:18 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Tue Jun 01 10:32:29 2010 +0200
     1.3 @@ -235,11 +235,6 @@
     1.4                         |> pairf hd tl
     1.5      val original_max_potential = max_potential
     1.6      val original_max_genuine = max_genuine
     1.7 -(*
     1.8 -    val _ = print_g ("*** " ^ Syntax.string_of_term ctxt orig_t)
     1.9 -    val _ = List.app (fn t => print_g ("*** " ^ Syntax.string_of_term ctxt t))
    1.10 -                     orig_assm_ts
    1.11 -*)
    1.12      val max_bisim_depth = fold Integer.max bisim_depths ~1
    1.13      val case_names = case_const_names thy stds
    1.14      val (defs, built_in_nondefs, user_nondefs) = all_axioms_of ctxt subst