Fix wrong assumption about FJ semantics & typo in DEBUG output

ERGO-Code · Dec 2, 2024 · 4a63e66 · 4a63e66
1 parent b271d21
commit 4a63e66
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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);