removed debugging junk

--- a/src/HOL/Tools/Old_Datatype/old_size.ML	Thu Sep 18 17:54:56 2014 +0200
+++ b/src/HOL/Tools/Old_Datatype/old_size.ML	Thu Sep 18 18:49:58 2014 +0200
@@ -214,7 +214,6 @@
     val no_size = exists (fn (_, (_, _, constrs)) => exists (fn (_, cargs) => exists (fn dt =>
       Old_Datatype_Aux.is_rec_type dt andalso
         not (null (fst (Old_Datatype_Aux.strip_dtyp dt)))) cargs) constrs) descr
-val _ = tracing ("NAME: " ^ @{make_string} (name, no_size))(*###*)
   in
     if no_size then thy
     else