From 0e71adfa35766c8c5763ec019a23bf6a6ddccf42 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 20 Jan 2025 14:58:24 -0800
Subject: [PATCH] fix some warnings

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/dioph_eq.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index 761228075..3e8b4e5d5 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -289,7 +289,7 @@ namespace lp {
             if (!contains(m_active_terms, t)) {
                 for (int i = m_added_terms.size() - 1; i >= 0; --i) {
                     if (m_added_terms[i] != t) continue;
-                    if (i != m_added_terms.size() -1) 
+                    if ((unsigned)i != m_added_terms.size() -1) 
                         m_added_terms[i] = m_added_terms.back();
                     m_added_terms.pop_back();
                     break; // all is done since the term has not made it to m_active_terms
@@ -350,7 +350,7 @@ namespace lp {
             make_sure_j_is_in_the_last_row_of_l_matrix();
             const auto &last_e_row = m_l_matrix.m_rows.back();
             mpq alpha;
-            for (const auto p: last_e_row) {
+            for (const auto& p: last_e_row) {
                 if (p.var() == j) {
                     alpha = p.coeff();
                     break;
@@ -396,7 +396,7 @@ namespace lp {
             unsigned j = m_l_matrix.column_count() - 1;
             const auto &last_e_row = m_l_matrix.m_rows.back();
             mpq alpha;
-            for (const auto p: last_e_row) {
+            for (const auto& p: last_e_row) {
                 if (p.var() == j) {
                     return;
                 }