diff options
Diffstat (limited to 'libs/ezsat/ezminisat.cc')
| -rw-r--r-- | libs/ezsat/ezminisat.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc index 56f04fefd..a9f680b98 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; |