chore(library/tactic/apply_tactic): remove trace msg

2016-06-18 10:35:12 -07:00 · 2016-06-18 10:35:12 -07:00 · 9cc3fb90ff
commit 9cc3fb90ff
parent 00717318f0
1 changed files with 0 additions and 1 deletions
--- a/src/library/tactic/apply_tactic.cpp
+++ b/src/library/tactic/apply_tactic.cpp
@ -83,7 +83,6 @@ vm_obj apply_core(expr e, transparency_mode md, bool add_all, bool use_instances
            return mk_tactic_exception(msg, s);
        }
        /* Synthesize type class instances */
-        std::cout << "use_instances: " << use_instances << "\n";
        if (use_instances) {
            unsigned i = is_instance.size();
            while (i > 0) {