diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc index 56f04fef..a9f680b9 100644 --- a/libs/ezsat/ezminisat.cc +++ b/libs/ezsat/ezminisat.cc @@ -119,8 +119,8 @@ contradiction: else assumps.push(Minisat::mkLit(minisatVars.at(-idx-1), true)); - sighandler_t old_alarm_sighandler; - int old_alarm_timeout; + sighandler_t old_alarm_sighandler = NULL; + int old_alarm_timeout = 0; if (solverTimeout > 0) { alarmHandlerThis = this;