diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-08 01:07:03 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-08 01:07:03 +0200 |
| commit | 144c5be8246800d5bd36dc3e177364063e8d2e40 (patch) | |
| tree | 2e43f2d7b1040cae9828315aeac0c82caa3df2fb /src/opt | |
| parent | 1485e63ae3cc36d2840b5c2d1d7da38a88ee8928 (diff) | |
| download | abc-144c5be8246800d5bd36dc3e177364063e8d2e40.tar.gz abc-144c5be8246800d5bd36dc3e177364063e8d2e40.tar.bz2 abc-144c5be8246800d5bd36dc3e177364063e8d2e40.zip | |
Preserving additional AIG manager when dandling nodes are present.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/lpk/lpkMux.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkMux.c b/src/opt/lpk/lpkMux.c index 60184f61..dfc1d65d 100644 --- a/src/opt/lpk/lpkMux.c +++ b/src/opt/lpk/lpkMux.c @@ -258,7 +258,7 @@ void Lpk_TryDec( word * pTruth, int nVars ) { extern word If_Dec6Perform( word t, int fDerive ); extern void If_Dec6Verify( word t, word z ); - int nWords = Abc_Truth6WordNum( nVars ); + //int nWords = Abc_Truth6WordNum( nVars ); assert( nVars == 8 ); printf( "%d", If_Dec6Perform(pTruth[0], 1) > 0 ); printf( "%d", If_Dec6Perform(pTruth[1], 1) > 0 ); |