diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 5a2225aa1..06e05315d 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -3957,8 +3957,6 @@ app* theory_seq::mk_value(app* e) {
         SASSERT(m_factory);
         expr_ref val(m);
         val = m_factory->get_some_value(m.get_sort(result));
-        std::cout << "is-var " << result << "\n";
-        std::cout << "val " << val << "\n";
         if (val) {
             result = val;
         }