From 661ac79528ddfe4154e379f3fcecc91647979dce Mon Sep 17 00:00:00 2001
From: Hall <jajhall@ed.ac.uk>
Date: Tue, 29 Nov 2022 09:13:39 +0000
Subject: [PATCH] Fixed std::max error for 64-bit integers

---
 src/util/HFactor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/HFactor.cpp b/src/util/HFactor.cpp
index 4fccc400b3..90d78f9cdf 100644
--- a/src/util/HFactor.cpp
+++ b/src/util/HFactor.cpp
@@ -901,7 +901,7 @@ HighsInt HFactor::buildKernel() {
       average_iteration_time = 0.9* average_iteration_time + 0.1 * iteration_time;
       
       if (time_difference > this->time_limit_/1e3)
-	timer_frequency = std::max(1, timer_frequency/10);
+	timer_frequency = std::max(HighsInt(1), timer_frequency/10);
       HighsInt iterations_left = kernel_dim - search_k + 1;
       double remaining_time_bound = average_iteration_time * iterations_left;
       double total_time_bound = current_time + remaining_time_bound;