Use git diff instead of diff-index for setlocalversion.

[loba.git] / options.h

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