diff options
Diffstat (limited to 'src/aig/gia/giaScl.c')
-rw-r--r-- | src/aig/gia/giaScl.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaScl.c b/src/aig/gia/giaScl.c index a482d024..0ec67c93 100644 --- a/src/aig/gia/giaScl.c +++ b/src/aig/gia/giaScl.c @@ -199,7 +199,7 @@ Gia_Man_t * Gia_ManReduceEquiv( Gia_Man_t * p, int fVerbose ) else if ( ~pMaps[iLit] ) // in this case, ID(pObj) > ID(pRepr) pCi2Lit[Gia_ManPiNum(p)+i] = pMaps[iLit], Counter++; else - pMaps[iLit] = Gia_Var2Lit( Gia_ObjId(p, pObjRo), 0 ); + pMaps[iLit] = Abc_Var2Lit( Gia_ObjId(p, pObjRo), 0 ); } /* Gia_ManForEachCi( p, pObjRo, i ) |