From 9cd974e3343b83491200071442537d7765f48ad7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 24 Sep 2017 09:40:35 -0700
Subject: [PATCH] remove display

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_solver.cpp | 2 --
 1 file changed, 2 deletions(-)

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) {