Assertion fail after 'print_supp -w'.

772eaa63 · Alan Mishchenko · 494ca715 · 772eaa63
Commit 772eaa63 authored Jul 11, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletions

src/base/abci/abcPrint.c
+4 -1

No files found.
--- 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*************************************************************