diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-07-05 15:00:20 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-07-05 15:00:20 +0200 |
| commit | f519297da93778da78539560a346608cfef09716 (patch) | |
| tree | 1fe1ad3ca3a56c54c4860c6fe89b4ac9abe764a6 | |
| parent | 238ff1481091a9dd006edd6b68c77b5568639ce9 (diff) | |
| download | yosys-f519297da93778da78539560a346608cfef09716.tar.gz yosys-f519297da93778da78539560a346608cfef09716.tar.bz2 yosys-f519297da93778da78539560a346608cfef09716.zip | |
Fixed gcc warnings in ezminisat
| -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; |