diff options
Diffstat (limited to 'src/base/seq')
| -rw-r--r-- | src/base/seq/seqMapCore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/seq/seqMapCore.c b/src/base/seq/seqMapCore.c index cd1db3a7..db1da0bc 100644 --- a/src/base/seq/seqMapCore.c +++ b/src/base/seq/seqMapCore.c @@ -67,8 +67,8 @@ Abc_Ntk_t * Seq_MapRetime( Abc_Ntk_t * pNtk, int nMaxIters, int fVerbose ) // derive the supergate library if ( Abc_FrameReadLibSuper() == NULL && Abc_FrameReadLibGen() ) { - printf( "A simple supergate library is derived from gate library \"%s\".\n", - Mio_LibraryReadName(Abc_FrameReadLibGen()) ); +// printf( "A simple supergate library is derived from gate library \"%s\".\n", +// Mio_LibraryReadName(Abc_FrameReadLibGen()) ); Map_SuperLibDeriveFromGenlib( Abc_FrameReadLibGen() ); } p->pSuperLib = Abc_FrameReadLibSuper(); |