Add platforms with 4096 nodes.

[loba.git] / options.h

diff --git a/options.h b/options.h
index ccb56bd0b8ada2d17761d2aa4888fff8b2cae817..f9baa880f2185051c08d4b7f1626d43eaa34cf22 100644 (file)
--- a/options.h
+++ b/options.h
@@ -63,7 +63,7 @@ namespace opt {
     extern unsigned lb_maxiter;
     extern unsigned comp_maxiter;
     extern double time_limit;
-    extern bool exit_on_convergence;
+    extern unsigned exit_on_convergence;
     extern bool exit_on_close;
 
     // Named parameters lists