diff options
Diffstat (limited to 'src/aig/saig')
-rw-r--r-- | src/aig/saig/saigSimMv.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saigSimMv.c b/src/aig/saig/saigSimMv.c index 95cc01b7..7076d07b 100644 --- a/src/aig/saig/saigSimMv.c +++ b/src/aig/saig/saigSimMv.c @@ -838,7 +838,7 @@ Vec_Ptr_t * Saig_MvManDeriveMap( Saig_MvMan_t * p, int fVerbose ) Vec_PtrWriteEntry( vMap, Saig_ManPiNum(p->pAig) + FlopK, Aig_ManConst0(p->pAig) ); Counter1++; } - Vec_IntFree( vConst0 ); + Vec_IntFree( vConst0 ); // detect equivalent (non-ternary flops) Vec_IntForEachEntry( vBinValued, FlopK, k ) @@ -854,7 +854,7 @@ Vec_Ptr_t * Saig_MvManDeriveMap( Saig_MvMan_t * p, int fVerbose ) continue; // set the equivalence Vec_PtrWriteEntry( vMap, Saig_ManPiNum(p->pAig) + FlopJ, Saig_ManLo(p->pAig, FlopK) ); - Vec_IntWriteEntry( vBinValued, FlopJ, -1 ); + Vec_IntWriteEntry( vBinValued, j, -1 ); Counter2++; } if ( fVerbose ) |