make_params: PREFIX can be set from 2nd parameter on command line.

[loba.git] / options.h

diff --git a/options.h b/options.h
index 5b47022667ab6a6ddfe96214d3bb0cb198d9d10c..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 int exit_on_convergence;
+    extern unsigned exit_on_convergence;
     extern bool exit_on_close;
 
     // Named parameters lists