From 9cc3fb90ff14464909f381e5abcc757332dfa0a0 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 18 Jun 2016 10:35:12 -0700
Subject: [PATCH] chore(library/tactic/apply_tactic): remove trace msg

---
 src/library/tactic/apply_tactic.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/library/tactic/apply_tactic.cpp b/src/library/tactic/apply_tactic.cpp
index 8ac43c17c5..5f4672f05a 100644
--- 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) {