X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=main.c;h=fd0569be80e712602988a5f79207b77bcb45ff5b;hb=7c6fcb4307273d71a0f7a5f9cb0e8b7e9d3e26b2;hp=69023658988f0526de782d0ea25a51b54e092a10;hpb=e8988854bd30e0a33b4a5c004859d22cb93c0e06;p=matchsticks-search.git

diff --git a/main.c b/main.c
index 6902365..fd0569b 100644
--- 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);