From eb44a80bf2eb8723231e72bb095c97d1e4834d56 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 30 Sep 2021 18:08:26 -0700 Subject: Compiler warnings. --- src/bool/bdc/bdcCore.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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; -- cgit v1.2.3