From bbeecc6f7c71404bf27c5e42b28a24cf086f871b Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 27 Aug 2024 09:53:46 -1000
Subject: [PATCH] fix the build

---
 src/math/lp/dioph_eq.cpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index c08d0f901..c8f8c482f 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -156,7 +156,6 @@ namespace lp {
         
         void init() {
             unsigned n_of_rows = lra.A_r().row_count();
-            unsigned skipped = 0;
             unsigned fn = 0;
                 
             auto all_vars_are_int = [this](const auto& row) {
@@ -189,7 +188,7 @@ namespace lp {
 
         mpq gcd_of_coeffs(const term_o& t) {
             mpq g(0);
-            for (auto & p : t) {
+            for (const auto & p : t) {
                 if (g.is_zero()) {
                     g = abs(p.coeff());
                 } else {
@@ -287,7 +286,7 @@ namespace lp {
             unsigned k;
             int k_sign;
             mpq t;
-            for (auto& p : eh) {
+            for (const auto& p : eh) {
                 t = abs(p.coeff());
                 if (first || t < ahk) {
                     ahk = t;