break out set_best

diff --git a/main.c b/main.c
index 69023658988f0526de782d0ea25a51b54e092a10..fd0569be80e712602988a5f79207b77bcb45ff5b 100644 (file)
--- a/main.c
+++ b/main.c
@@ -107,6 +107,10 @@ static void progress_eol(void) {
   fflush(stderr);
 }
 
+static void set_best(double new_best) {
+  best = new_best;
+}
+
 /*----- multicore support -----*/
 
 /*
@@ -309,7 +313,7 @@ static void multicore_check_for_new_best(void) {
     if (!got) break;
     assert(got == sizeof(msg));
     if (msg > best)
-      best = msg;
+      set_best(msg);
     mc_bus_read += sizeof(msg);
   }
 }
@@ -555,7 +559,7 @@ static void optimise(bool doprint) {
 
   HAVE_PRINTED;
 
-  best = got;
+  set_best(got);
   multicore_found_new_best();
 
   if (best_prob) glp_delete_prob(best_prob);