From f519297da93778da78539560a346608cfef09716 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 5 Jul 2013 15:00:20 +0200 Subject: [PATCH] Fixed gcc warnings in ezminisat --- libs/ezsat/ezminisat.cc | 4 ++-- 1 file 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; -- 2.30.2