Use clock_gettime for a better resolution in timer.h.

[loba.git] / options.h

diff --git a/options.h b/options.h
index ccb56bd0b8ada2d17761d2aa4888fff8b2cae817..5b47022667ab6a6ddfe96214d3bb0cb198d9d10c 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 unsigned lb_maxiter;
     extern unsigned comp_maxiter;
     extern double time_limit;

-    extern bool exit_on_convergence;
+    extern int exit_on_convergence;

     extern bool exit_on_close;
 
     // Named parameters lists
     extern bool exit_on_close;
 
     // Named parameters lists