diff options
Diffstat (limited to 'src/base/abc/abcFanio.c')
| -rw-r--r-- | src/base/abc/abcFanio.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/abc/abcFanio.c b/src/base/abc/abcFanio.c index c8536695..9f60b0bc 100644 --- a/src/base/abc/abcFanio.c +++ b/src/base/abc/abcFanio.c @@ -92,6 +92,10 @@ void Abc_ObjAddFanin( Abc_Obj_t * pObj, Abc_Obj_t * pFanin ) { int x = 0; } + if ( pObj->Id == 1960 ) + { + int x = 0; + } // printf( "Adding fanin of %s ", Abc_ObjName(pObj) ); // printf( "to be %s\n", Abc_ObjName(pFanin) ); } |