diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-11 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-11 08:01:00 -0700 |
commit | d62ee0a90d14fe762015906b6b3a5ad23421d390 (patch) | |
tree | 0bf1f4bf286559c3cca61661d29d7ea312548778 /src/base/abci/abcStrash.c | |
parent | e8cf8415c5c8c31db650f549e54fd7a3aad48be0 (diff) | |
download | abc-d62ee0a90d14fe762015906b6b3a5ad23421d390.tar.gz abc-d62ee0a90d14fe762015906b6b3a5ad23421d390.tar.bz2 abc-d62ee0a90d14fe762015906b6b3a5ad23421d390.zip |
Version abc70911
Diffstat (limited to 'src/base/abci/abcStrash.c')
-rw-r--r-- | src/base/abci/abcStrash.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcStrash.c b/src/base/abci/abcStrash.c index 69373597..c77f8dea 100644 --- a/src/base/abci/abcStrash.c +++ b/src/base/abci/abcStrash.c @@ -80,7 +80,7 @@ Abc_Ntk_t * Abc_NtkRestrash( Abc_Ntk_t * pNtk, bool fCleanup ) } //timeRetime = clock() - timeRetime; // if ( RetValue = Abc_NtkRemoveSelfFeedLatches(pNtkAig) ) -// printf( "Modified %d self-feeding latches. The result will not verify.\n", RetValue ); +// printf( "Modified %d self-feeding latches. The result may not verify.\n", RetValue ); return pNtkAig; } @@ -145,7 +145,7 @@ Abc_Ntk_t * Abc_NtkRestrashZero( Abc_Ntk_t * pNtk, bool fCleanup ) } //timeRetime = clock() - timeRetime; // if ( RetValue = Abc_NtkRemoveSelfFeedLatches(pNtkAig) ) -// printf( "Modified %d self-feeding latches. The result will not verify.\n", RetValue ); +// printf( "Modified %d self-feeding latches. The result may not verify.\n", RetValue ); return pNtkAig; } |