removed debug output
authortraytel
Mon Dec 18 11:56:12 2017 +0100 (17 months ago)
changeset 67223711eec20aecd
parent 67222 19809bc9d7ff
child 67224 341fbce5b26d
removed debug output
src/HOL/Tools/BNF/bnf_def_tactics.ML
     1.1 --- a/src/HOL/Tools/BNF/bnf_def_tactics.ML	Sun Dec 17 08:42:59 2017 +0100
     1.2 +++ b/src/HOL/Tools/BNF/bnf_def_tactics.ML	Mon Dec 18 11:56:12 2017 +0100
     1.3 @@ -263,7 +263,7 @@
     1.4       REPEAT_DETERM (HEADGOAL (resolve_tac ctxt (maps (fn thm =>
     1.5         [thm RS trans, thm RS @{thm trans[rotated, OF sym]}]) rel_map))) THEN
     1.6       HEADGOAL (rtac ctxt iffI) THEN
     1.7 -     last_tac iffD1 THEN  print_tac ctxt "baz" THEN last_tac iffD2)
     1.8 +     last_tac iffD1 THEN last_tac iffD2)
     1.9    end;
    1.10  
    1.11  fun mk_map_transfer_tac ctxt rel_mono in_rel set_maps map_cong0 map_comp =