diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-03 00:05:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-03 00:05:18 -0700 |
| commit | 3bd0420bd96fb7100f9a96df56fa4649d39f6969 (patch) | |
| tree | f079e0b8ace27f38a4aaac83326659327d450a88 /src | |
| parent | 9cb52998f57d8e46db40ee969ebd1bc6c3155120 (diff) | |
| download | abc-3bd0420bd96fb7100f9a96df56fa4649d39f6969.tar.gz abc-3bd0420bd96fb7100f9a96df56fa4649d39f6969.tar.bz2 abc-3bd0420bd96fb7100f9a96df56fa4649d39f6969.zip | |
Bug fix in Gia_ObjPrint()
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index d55f581a..6f6bf0fa 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -1125,9 +1125,9 @@ void Gia_ObjPrint( Gia_Man_t * p, Gia_Obj_t * pObj ) else if ( Gia_ObjIsPo(p, pObj) ) printf( "PO( %4d%s )", Gia_ObjFaninId0p(p, pObj), (Gia_ObjFaninC0(pObj)? "\'" : " ") ); else if ( Gia_ObjIsCi(pObj) ) - printf( "RI" ); + printf( "RO" ); else if ( Gia_ObjIsCo(pObj) ) - printf( "RO( %4d%s )", Gia_ObjFaninId0p(p, pObj), (Gia_ObjFaninC0(pObj)? "\'" : " ") ); + printf( "RI( %4d%s )", Gia_ObjFaninId0p(p, pObj), (Gia_ObjFaninC0(pObj)? "\'" : " ") ); // else if ( Gia_ObjIsBuf(pObj) ) // printf( "BUF( %d%s )", Gia_ObjFaninId0p(p, pObj), (Gia_ObjFaninC0(pObj)? "\'" : " ") ); else |