diff --git a/src/smt/theory_array.cpp b/src/smt/theory_array.cpp
index 1bc3ea8b8..c60efe1b1 100644
--- a/src/smt/theory_array.cpp
+++ b/src/smt/theory_array.cpp
@@ -114,13 +114,9 @@ namespace smt {
             for (; it != end; ++it) {
                 enode * store = *it;
                 SASSERT(is_store(store));
-                std::cout << mk_pp(store->get_owner(), get_manager()) << " " << mk_pp(s->get_owner(), get_manager()) << "\n";
                 if (!m_params.m_array_cg || store->is_cgr()) {
                     instantiate_axiom2b(s, store);
                 }
-                else {
-                    std::cout << mk_pp(store->get_owner(), get_manager()) << "\n";
-                }
             }
         }
     }