diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-30 18:08:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-30 18:08:26 -0700 |
| commit | eb44a80bf2eb8723231e72bb095c97d1e4834d56 (patch) | |
| tree | f405293a408c3d0408647903ffa81f7a2a39c72a /src/bool/bdc | |
| parent | e76b7ba0ccb0ddb61832727e40a2c7b2318e0244 (diff) | |
| download | abc-eb44a80bf2eb8723231e72bb095c97d1e4834d56.tar.gz abc-eb44a80bf2eb8723231e72bb095c97d1e4834d56.tar.bz2 abc-eb44a80bf2eb8723231e72bb095c97d1e4834d56.zip | |
Compiler warnings.
Diffstat (limited to 'src/bool/bdc')
| -rw-r--r-- | src/bool/bdc/bdcCore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bool/bdc/bdcCore.c b/src/bool/bdc/bdcCore.c index cc94244d..cce0e306 100644 --- a/src/bool/bdc/bdcCore.c +++ b/src/bool/bdc/bdcCore.c @@ -377,7 +377,7 @@ void Bdc_ManDecomposeTest( unsigned uTruth, int nVars ) ***********************************************************************/ int Bdc_ManBidecNodeNum( word * pFunc, word * pCare, int nVars, int fVerbose ) { - int nNodes, nTtWords = Abc_Truth6WordNum(nVars); + int nNodes; Bdc_Man_t * pManDec; Bdc_Par_t Pars = {0}, * pPars = &Pars; pPars->nVarsMax = nVars; @@ -426,7 +426,7 @@ void Bdc_ManBidecResubInt( Bdc_Man_t * p, Vec_Int_t * vRes ) Vec_Int_t * Bdc_ManBidecResub( word * pFunc, word * pCare, int nVars ) { Vec_Int_t * vRes = NULL; - int nNodes, nTtWords = Abc_Truth6WordNum(nVars); + int nNodes; Bdc_Man_t * pManDec; Bdc_Par_t Pars = {0}, * pPars = &Pars; pPars->nVarsMax = nVars; |