diff options
Diffstat (limited to 'src/opt/lpk')
-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 ); |