diff options
Diffstat (limited to 'src/base/abc/abcNames.c')
| -rw-r--r-- | src/base/abc/abcNames.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abcNames.c b/src/base/abc/abcNames.c index 82040404..07c64712 100644 --- a/src/base/abc/abcNames.c +++ b/src/base/abc/abcNames.c @@ -108,7 +108,7 @@ char * Abc_ObjName( Abc_Obj_t * pObj ) { // in a logic network, PI/PO/latch names are stored in the hash table // internal nodes have made up names - assert( Abc_ObjIsNode(pObj) ); + assert( Abc_ObjIsNode(pObj) || Abc_ObjIsLatch(pObj) ); sprintf( Buffer, "[%d]", pObj->Id ); } return Buffer; |