Fixed gcc warnings in ezminisat

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 56f04fefda7b24eec9de9067862ac30ef9881005..a9f680b98ec8df71c8c4493aa8e7260a077ff970 100644 (file)
--- 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;