diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-15 18:21:02 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-15 18:21:02 -0800 |
| commit | e27edf5e1ee777d9a4256d94dce849155d85fdd3 (patch) | |
| tree | ec95c73fa4e6cf10c2c4e6a5d37a821e0d0b7d33 /src/base/cba/cbaWriteBlif.c | |
| parent | 8ac8923a91a108718bd8af8b83a9671fc2d33900 (diff) | |
| download | abc-e27edf5e1ee777d9a4256d94dce849155d85fdd3.tar.gz abc-e27edf5e1ee777d9a4256d94dce849155d85fdd3.tar.bz2 abc-e27edf5e1ee777d9a4256d94dce849155d85fdd3.zip | |
Various transformations of Cba_Ntk_t.
Diffstat (limited to 'src/base/cba/cbaWriteBlif.c')
| -rw-r--r-- | src/base/cba/cbaWriteBlif.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/cba/cbaWriteBlif.c b/src/base/cba/cbaWriteBlif.c index 001a291c..ea141005 100644 --- a/src/base/cba/cbaWriteBlif.c +++ b/src/base/cba/cbaWriteBlif.c @@ -75,7 +75,7 @@ void Cba_PrsWriteBlifLines( FILE * pFile, Cba_Ntk_t * p ) else if ( Type == CBA_OBJ_BOX ) // .names/assign/box2 (no formal/actual binding) { fprintf( pFile, ".subckt" ); - fprintf( pFile, " %s", Cba_ObjFuncStr(p, i) ); + fprintf( pFile, " %s", Cba_NtkName(Cba_ObjBoxModel(p, i)) ); Cba_PrsWriteBlifArray2( pFile, p, Cba_ObjFaninVec(p, i) ); } else if ( Type == CBA_OBJ_LATCH ) // .names/assign/box2 (no formal/actual binding) |