diff options
| -rw-r--r-- | .hgignore | 1 | ||||
| -rw-r--r-- | src/aig/gia/giaQbf.c | 1 |
2 files changed, 1 insertions, 1 deletions
@@ -15,6 +15,7 @@ lib/bip* docs/ src/ext/ +src/ext2/ src/xxx/ src/aig/au/ src/aig/ssm/ diff --git a/src/aig/gia/giaQbf.c b/src/aig/gia/giaQbf.c index 1fcdd8c5..f00c1d6f 100644 --- a/src/aig/gia/giaQbf.c +++ b/src/aig/gia/giaQbf.c @@ -114,7 +114,6 @@ Vec_Int_t * Gia_GenCreateMuxes( Gia_Man_t * p, Gia_Man_t * pNew, Vec_Int_t * vFl { Vec_Int_t * vLits = Vec_IntAlloc( nLutNum ); int i, k, iMux, iFlop, pCtrl[16]; - int nPars = nLutNum * (1 << nLutSize); // add MUXes for each group of flops assert( Vec_IntSize(vFlops) == nLutNum * nLutSize ); for ( i = 0; i < nLutNum; i++ ) |