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