# HG changeset patch
# User blanchet
# Date 1367940929 -7200
# Node ID 5aaa9e2f7dd1d5087fb4579c7f5482c01a8b7370
# Parent  882d850aa3ca8a301432e86564265cb13f37a013
removed tracing

diff -r 882d850aa3ca -r 5aaa9e2f7dd1 src/HOL/BNF/Tools/bnf_fp_def_sugar.ML
--- a/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Tue May 07 17:29:23 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Tue May 07 17:35:29 2013 +0200
@@ -480,7 +480,6 @@
         val spec =
           mk_Trueprop_eq (lists_bmoc fss (Free (Binding.name_of binding, res_T)),
             mk_iter_body lthy0 fpTs ctor_iter fss xsss);
-val _ = tracing ("*** spec: " ^ Syntax.string_of_term lthy0 spec) (*###*)
       in (binding, spec) end;
 
     val binding_specs =