From cbf470422e501c2596aa7a824cbef009dc61e158 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 5 Oct 2014 12:10:23 -0700
Subject: [PATCH] remove extra verbose output

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

diff --git a/src/sat/sat_simplifier.cpp b/src/sat/sat_simplifier.cpp
index 753075b10..219b9f278 100644
--- a/src/sat/sat_simplifier.cpp
+++ b/src/sat/sat_simplifier.cpp
@@ -1426,7 +1426,6 @@ namespace sat {
     };
 
     void simplifier::elim_vars() {
-        IF_VERBOSE(10, s.display(verbose_stream()););
         elim_var_report rpt(*this);
         bool_var_vector vars;
         order_vars_for_elim(vars);