From 75897b7a2ece2ee567b81eb7667ac60590430f9e Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 4 Jul 2023 11:38:10 -0700
Subject: [PATCH] a small change in trace feas

---
 src/math/lp/lp_core_solver_base.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/lp_core_solver_base.h b/src/math/lp/lp_core_solver_base.h
index 06e67cbf7..aac645631 100644
--- a/src/math/lp/lp_core_solver_base.h
+++ b/src/math/lp/lp_core_solver_base.h
@@ -56,7 +56,7 @@ private:
 public:
     bool current_x_is_feasible() const {
         TRACE("feas",
-              if (m_inf_heap.size()) {
+              if (!m_inf_heap.empty()) {
                   tout << "column " << *m_inf_heap.begin() << " is infeasible" << std::endl;
                   print_column_info(*m_inf_heap.begin(), tout);
               } else {