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 & do_make_continue(eoParser& _parser, eoState& _state, eoEvalFu // the CtrlC interception (Linux only I'm afraid) eoCtrlCContinue *ctrlCCont; eoValueParam& ctrlCParam = _parser.createParam(false, "CtrlC", "Terminate current generation upon Ctrl C",'C', "Stopping criterion"); - if (_parser.isItThere(ctrlCParam)) + if (ctrlCParam.value()) { ctrlCCont = new eoCtrlCContinue; // store