diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index 63f1badb7..8782cb462 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -724,8 +724,6 @@ namespace sat {
         pop_to_base_level();
         IF_VERBOSE(2, verbose_stream() << "(sat.sat-solver)\n";);
         SASSERT(scope_lvl() == 0);
-        SASSERT(m_config.m_dimacs_display);
-        std::cout << "display dimacs: " << m_config.m_dimacs_display << "\n";
         if (m_config.m_dimacs_display) {
             display_dimacs(std::cout);
             for (unsigned i = 0; i < num_lits; ++lits) {