diff options
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index df3fc630..079368e9 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -25264,6 +25264,11 @@ int Abc_CommandAbc9Put( Abc_Frame_t * pAbc, int argc, char ** argv ) extern Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p ); pNtk = Abc_NtkFromMappedGia( pAbc->pGia ); } + else if ( Gia_ManHasCellMapping(pAbc->pGia) ) + { + extern Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p ); + pNtk = Abc_NtkFromCellMappedGia( pAbc->pGia ); + } else if ( Gia_ManHasDangling(pAbc->pGia) == 0 ) { pMan = Gia_ManToAig( pAbc->pGia, 0 ); |