From 144c5be8246800d5bd36dc3e177364063e8d2e40 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 8 Jan 2020 01:07:03 +0200 Subject: Preserving additional AIG manager when dandling nodes are present. --- src/opt/lpk/lpkMux.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/opt') 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 ); -- cgit v1.2.3