diff options
Diffstat (limited to 'src/base/seq/seqRetCore.c')
-rw-r--r-- | src/base/seq/seqRetCore.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/base/seq/seqRetCore.c b/src/base/seq/seqRetCore.c index 08da5b39..b4795039 100644 --- a/src/base/seq/seqRetCore.c +++ b/src/base/seq/seqRetCore.c @@ -62,8 +62,6 @@ Abc_Ntk_t * Seq_NtkRetime( Abc_Ntk_t * pNtk, int nMaxIters, int fInitial, int fV // find the best mapping and retiming if ( !Seq_NtkRetimeDelayLags( pNtk, pNtkSeq, fVerbose ) ) return NULL; - return NULL; - // implement the retiming RetValue = Seq_NtkImplementRetiming( pNtkSeq, p->vLags, fVerbose ); |