From 3bd0420bd96fb7100f9a96df56fa4649d39f6969 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 3 Jul 2012 00:05:18 -0700 Subject: Bug fix in Gia_ObjPrint() --- src/aig/gia/giaUtil.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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 -- cgit v1.2.3