diff --git a/eo/src/do/make_checkpoint.h b/eo/src/do/make_checkpoint.h index 84ef99961..2c2385524 100644 --- a/eo/src/do/make_checkpoint.h +++ b/eo/src/do/make_checkpoint.h @@ -65,7 +65,7 @@ eoCheckPoint& do_make_checkpoint(eoParser& _parser, eoState& _state, eoValu #ifndef _MSC_VER // the CtrlC monitoring interception - eoSignal *mon_ctrlCCont; + eoSignal *mon_ctrlCCont = nullptr; eoValueParam& mon_ctrlCParam = _parser.createParam(false, "monitor-with-CtrlC", "Monitor current generation upon Ctrl C",0, "Stopping criterion"); if (mon_ctrlCParam.value()) {