Saving network name in 'blockpo'.

This commit is contained in:
Alan Mishchenko 2013-04-12 00:10:21 -07:00
parent 3b1c632b15
commit 45d82477b7
1 changed files with 3 additions and 1 deletions

View File

@ -23455,7 +23455,9 @@ int Abc_CommandBlockPo( Abc_Frame_t * pAbc, int argc, char ** argv )
Saig_ManBlockPo( pAig, nCycles );
pNtkNew = Abc_NtkFromAigPhase( pAig );
Aig_ManStop( pAig );
// transfer the name
pNtkNew->pName = Extra_UtilStrsav(pNtk->pName);
pNtkNew->pSpec = Extra_UtilStrsav(pNtk->pSpec);
// replace the current network
Abc_FrameReplaceCurrentNetwork( pAbc, pNtkNew );
return 0;