From ba4cc27817e0f0026f9c417ee5632c0c34732731 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 10 Feb 2020 17:08:28 -0800
Subject: [PATCH] squash blanks more in tableau pp

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/core_solver_pretty_printer_def.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/core_solver_pretty_printer_def.h b/src/math/lp/core_solver_pretty_printer_def.h
index db50ea0df..866e3d828 100644
--- a/src/math/lp/core_solver_pretty_printer_def.h
+++ b/src/math/lp/core_solver_pretty_printer_def.h
@@ -53,7 +53,7 @@ core_solver_pretty_printer<T, X>::core_solver_pretty_printer(lp_core_solver_base
     m_basis_heading_title = "heading";
     m_x_title = "x*";
     m_title_width = static_cast<unsigned>(std::max(std::max(m_cost_title.size(), std::max(m_basis_heading_title.size(), m_x_title.size())), m_approx_norm_title.size()));
-    m_squash_blanks = nrows() > 10 && ncols() > 5;
+    m_squash_blanks = ncols() > 5;
 }
 
 template <typename T, typename X> void core_solver_pretty_printer<T, X>::init_costs() {