summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaResub2.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-07-30 14:21:47 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2022-07-30 14:21:47 -0700
commitddb22f3bed7cb457576b4b80e55d47eabf3a1308 (patch)
tree7c37fb06dc76ba960f606fb3f738cf31ab0fa347 /src/aig/gia/giaResub2.c
parentc23cd0a7c5f4264b3209f127885b8d5432f2fd5a (diff)
downloadabc-ddb22f3bed7cb457576b4b80e55d47eabf3a1308.tar.gz
abc-ddb22f3bed7cb457576b4b80e55d47eabf3a1308.tar.bz2
abc-ddb22f3bed7cb457576b4b80e55d47eabf3a1308.zip
Various changes.
Diffstat (limited to 'src/aig/gia/giaResub2.c')
-rw-r--r--src/aig/gia/giaResub2.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaResub2.c b/src/aig/gia/giaResub2.c
index 1219526f..10c5a9e0 100644
--- a/src/aig/gia/giaResub2.c
+++ b/src/aig/gia/giaResub2.c
@@ -733,7 +733,7 @@ void Gia_RsbCiWindowTest( Gia_Man_t * p )
SeeAlso []
***********************************************************************/
-static inline int Gia_ObjFaninId( Gia_Obj_t * pObj, int iObj, int n ) { return n ? Gia_ObjFaninId1(pObj, iObj) : Gia_ObjFaninId0(pObj, iObj); }
+//static inline int Gia_ObjFaninId( Gia_Obj_t * pObj, int iObj, int n ) { return n ? Gia_ObjFaninId1(pObj, iObj) : Gia_ObjFaninId0(pObj, iObj); }
static inline int Gia_ObjTravIsTopTwo( Gia_Man_t * p, int iNodeA ) { return (p->pTravIds[iNodeA] >= p->nTravIds - 1); }
static inline int Gia_ObjTravIsSame( Gia_Man_t * p, int iNodeA, int iNodeB ) { return (p->pTravIds[iNodeA] == p->pTravIds[iNodeB]); }