From 24d1e52d7fe26616e3bee87041acffe889aa4adc Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 1 Mar 2012 15:31:52 +0100
Subject: [PATCH] Make opt::exit_on_convergence an unsigned int.

---
 options.cpp | 2 +-
 options.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/options.cpp b/options.cpp
index 25d7642..0ed04ac 100644
--- a/options.cpp
+++ b/options.cpp
@@ -80,7 +80,7 @@ namespace opt {
     unsigned lb_maxiter = 0;
     unsigned comp_maxiter = 0;
     double time_limit = 0;
-    int exit_on_convergence = 0;
+    unsigned exit_on_convergence = 0;
     bool exit_on_close = true;
 
     // Named parameters lists
diff --git a/options.h b/options.h
index 5b47022..f9baa88 100644
--- 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
-- 
2.39.5