From 772eaa634505a9792e44bf03e65ddcdf139ca25b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 11 Jul 2015 21:26:34 -0700 Subject: Assertion fail after 'print_supp -w'. --- src/base/abci/abcPrint.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/base/abci/abcPrint.c') 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************************************************************* -- cgit v1.2.3