Another bug fix.

This commit is contained in:
Alan Mishchenko 2025-10-01 22:23:27 -07:00
parent 9596162b4a
commit c8eac7595d
1 changed files with 1 additions and 1 deletions

View File

@ -36170,7 +36170,7 @@ int Abc_CommandAbc9Dfs( Abc_Frame_t * pAbc, int argc, char ** argv )
return 1;
}
if ( fChoices )
pTemp = Gia_ManDupChoices( pAbc->pGia );
pTemp = pAbc->pGia->pSibls ? Gia_ManDupChoices(pAbc->pGia) : Gia_ManDup(pAbc->pGia);
else if ( fLeveled )
pTemp = Gia_ManDupLevelized( pAbc->pGia );
else if ( fNormal )