diff options
Diffstat (limited to 'src/opt/ret/retInit.c')
-rw-r--r-- | src/opt/ret/retInit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/ret/retInit.c b/src/opt/ret/retInit.c index 156df0dc..dcb71c60 100644 --- a/src/opt/ret/retInit.c +++ b/src/opt/ret/retInit.c @@ -50,7 +50,7 @@ Vec_Int_t * Abc_NtkRetimeInitialValues( Abc_Ntk_t * pNtkCone, Vec_Int_t * vValue return Vec_IntDup( vValues ); // convert the target network to AIG pNtkLogic = Abc_NtkDup( pNtkCone ); - Abc_NtkLogicToAig( pNtkLogic ); + Abc_NtkToAig( pNtkLogic ); // get the miter pNtkMiter = Abc_NtkCreateTarget( pNtkLogic, pNtkLogic->vCos, vValues ); if ( fVerbose ) |