diff options
Diffstat (limited to 'src/base/seq/seqMapCore.c')
| -rw-r--r-- | src/base/seq/seqMapCore.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/seq/seqMapCore.c b/src/base/seq/seqMapCore.c index cb50cdfe..b1d4871e 100644 --- a/src/base/seq/seqMapCore.c +++ b/src/base/seq/seqMapCore.c @@ -82,6 +82,7 @@ Abc_Ntk_t * Seq_MapRetime( Abc_Ntk_t * pNtk, int nMaxIters, int fVerbose ) printf( "The mininum clock period computed is %5.2f.\n", p->FiBestFloat ); return NULL; } + printf( "The mininum clock period computed is %5.2f.\n", p->FiBestFloat ); printf( "The resulting network is derived as BDD logic network (this is temporary).\n" ); // duplicate the nodes contained in multiple cuts |