From f519297da93778da78539560a346608cfef09716 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 5 Jul 2013 15:00:20 +0200
Subject: 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;
--
cgit v1.2.3