diff --git a/src/qe/qe_lite.cpp b/src/qe/qe_lite.cpp
index 86a3fbec8..f28a93753 100644
--- a/src/qe/qe_lite.cpp
+++ b/src/qe/qe_lite.cpp
@@ -2548,7 +2548,6 @@ class qe_lite_tactic : public tactic {
                 }
                 if (f != new_f) {
                     TRACE("qe", tout << mk_pp(f, m) << "\n" << new_f << "\n";);
-                    debug_diff(f, new_f);
                     g->update(i, new_f, new_pr, g->dep(i));                
                 }
             }
diff --git a/src/smt/proto_model/proto_model.cpp b/src/smt/proto_model/proto_model.cpp
index c4f38cc3a..cfc037a68 100644
--- a/src/smt/proto_model/proto_model.cpp
+++ b/src/smt/proto_model/proto_model.cpp
@@ -105,7 +105,6 @@ bool proto_model::eval(expr * e, expr_ref & result, bool model_completion) {
     m_eval.set_model_completion(model_completion);
     try {
         m_eval(e, result);
-         std::cout << result << "\n";
         return true;
     }
     catch (model_evaluator_exception & ex) {