summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--libs/ezsat/ezminisat.cc4
1 files changed, 2 insertions, 2 deletions
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;