mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Fixed gcc warnings in ezminisat

Browse source
This commit is contained in:
Clifford Wolf 2013-07-05 15:00:20 +02:00
parent 238ff14810
commit f519297da9
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
libs/ezsat/ezminisat.cc
View file

@ -119,8 +119,8 @@ contradiction:
else else
assumps.push(Minisat::mkLit(minisatVars.at(-idx-1), true)); assumps.push(Minisat::mkLit(minisatVars.at(-idx-1), true));
sighandler_t old_alarm_sighandler; sighandler_t old_alarm_sighandler = NULL;
int old_alarm_timeout; int old_alarm_timeout = 0;
if (solverTimeout > 0) { if (solverTimeout > 0) {
alarmHandlerThis = this; alarmHandlerThis = this;