fix(checkpoint): initialize a pointer
This commit is contained in:
parent
c218a19de6
commit
e14220ff69
1 changed files with 1 additions and 1 deletions
|
|
@ -65,7 +65,7 @@ eoCheckPoint<EOT>& do_make_checkpoint(eoParser& _parser, eoState& _state, eoValu
|
||||||
|
|
||||||
#ifndef _MSC_VER
|
#ifndef _MSC_VER
|
||||||
// the CtrlC monitoring interception
|
// the CtrlC monitoring interception
|
||||||
eoSignal<EOT> *mon_ctrlCCont;
|
eoSignal<EOT> *mon_ctrlCCont = nullptr;
|
||||||
eoValueParam<bool>& mon_ctrlCParam = _parser.createParam(false, "monitor-with-CtrlC", "Monitor current generation upon Ctrl C",0, "Stopping criterion");
|
eoValueParam<bool>& mon_ctrlCParam = _parser.createParam(false, "monitor-with-CtrlC", "Monitor current generation upon Ctrl C",0, "Stopping criterion");
|
||||||
if (mon_ctrlCParam.value())
|
if (mon_ctrlCParam.value())
|
||||||
{
|
{
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue