Minor bug fix.

This commit is contained in:
Alan Mishchenko 2012-10-04 09:17:13 -07:00
parent 5559444126
commit bbd170e8a3
1 changed files with 3 additions and 0 deletions

View File

@ -378,6 +378,9 @@ void Abc_FrameSetCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNtkNew )
int nNetsToSave;
char * pValue;
if ( p->pNtkCur == pNtkNew )
return;
// link it to the previous network
Abc_NtkSetBackup( pNtkNew, p->pNtkCur );
// set the step of this network