diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcPrint.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index c2810f90..a50b522c 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -1253,7 +1253,10 @@ void Abc_NtkPrintStrSupports( Abc_Ntk_t * pNtk, int fMatrix ) Vec_PtrFree( vSupp ); } if ( !fMatrix ) + { + Abc_NtkCleanMarkA( pNtk ); return; + } Abc_NtkForEachCi( pNtk, pObj, k ) pObj->fMarkA = 0; @@ -1273,7 +1276,7 @@ void Abc_NtkPrintStrSupports( Abc_Ntk_t * pNtk, int fMatrix ) Abc_NtkForEachCi( pNtk, pObj, k ) pObj->fMarkA = 0; } - + Abc_NtkCleanMarkA( pNtk ); } /**Function************************************************************* |