luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compiler warning.

This commit is contained in:
Alan Mishchenko 2015-04-01 15:46:25 +07:00
parent 9cee436686
commit 57a6f016d2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/sat/bmc/bmcICheck.c
View File

@ -373,7 +373,7 @@ int Bmc_PerformISearchOne( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fRev
Gia_Man_t * pMiter, * pTemp; Gia_Man_t * pMiter, * pTemp;
Cnf_Dat_t * pCnf; Cnf_Dat_t * pCnf;
sat_solver * pSat; sat_solver * pSat;
Vec_Int_t * vRegs; Vec_Int_t * vRegs = NULL;
// Vec_Int_t * vLits; // Vec_Int_t * vLits;
int i, Iter, status; int i, Iter, status;
int nLitsUsed, RetValue = 0; int nLitsUsed, RetValue = 0;