From bc7aee869fc4e6dc7ea5214be8711b22659a07e7 Mon Sep 17 00:00:00 2001
From: evomarc <evomarc>
Date: Wed, 24 Jul 2002 18:05:18 +0000
Subject: [PATCH] There was a problem with the activation of the Ctrl C

---
 eo/src/do/make_continue.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eo/src/do/make_continue.h b/eo/src/do/make_continue.h
index 5d36f3be..38cd0ada 100644
--- a/eo/src/do/make_continue.h
+++ b/eo/src/do/make_continue.h
@@ -134,7 +134,7 @@ eoContinue<Indi> & do_make_continue(eoParser& _parser, eoState& _state, eoEvalFu
     // the CtrlC interception (Linux only I'm afraid)
     eoCtrlCContinue<Indi> *ctrlCCont;
     eoValueParam<bool>& ctrlCParam = _parser.createParam(false, "CtrlC", "Terminate current generation upon Ctrl C",'C', "Stopping criterion");
-    if (_parser.isItThere(ctrlCParam))
+    if (ctrlCParam.value())
       {
 	ctrlCCont = new eoCtrlCContinue<Indi>;
 	// store