From 4a63e66fcc789ca9c91dab7612cb89cbf53a6821 Mon Sep 17 00:00:00 2001
From: Ben Champion <6761956+BenChampion@users.noreply.github.com>
Date: Mon, 2 Dec 2024 11:01:26 +0000
Subject: [PATCH] Fix wrong assumption about FJ semantics & typo in DEBUG
 output

---
 src/mip/HighsFeasibilityJump.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/mip/HighsFeasibilityJump.cpp b/src/mip/HighsFeasibilityJump.cpp
index 57fb744409..d1c2cac6f9 100644
--- a/src/mip/HighsFeasibilityJump.cpp
+++ b/src/mip/HighsFeasibilityJump.cpp
@@ -26,7 +26,7 @@ void HighsMipSolverData::feasibilityJump() {
   std::vector<double> col_value(model->num_col_, 0.0);
   double objective_function_value;
 
-  printf("DEBUG: configuring feasilibility jump\n");
+  printf("DEBUG: configuring feasibility jump\n");
 
   // Configure Feasibility Jump and pass it the problem
   external_feasibilityjump::equalityTolerance = epsilon;
@@ -92,7 +92,7 @@ void HighsMipSolverData::feasibilityJump() {
       [=, &col_value, &found_integer_feasible_solution,
        &objective_function_value](external_feasibilityjump::FJStatus status)
       -> external_feasibilityjump::CallbackControlFlow {
-    if (std::isfinite(status.solutionObjectiveValue)) {
+    if (status.solution != nullptr) {
       found_integer_feasible_solution = true;
       col_value = std::vector<double>(status.solution,
                                       status.solution + status.numVars);