diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-19 16:37:32 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-19 16:37:32 +0700 |
commit | 6ecc71f8f997cfdf182e356fa271051c87d41d78 (patch) | |
tree | a3060fd1fca1a357e601f150fe9c74f681dc8c9c /src/aig/gia/giaEquiv.c | |
parent | 37a3e07d916a85de75e63f68401aafbcbde04ffc (diff) | |
download | abc-6ecc71f8f997cfdf182e356fa271051c87d41d78.tar.gz abc-6ecc71f8f997cfdf182e356fa271051c87d41d78.tar.bz2 abc-6ecc71f8f997cfdf182e356fa271051c87d41d78.zip |
Misc changes.
Diffstat (limited to 'src/aig/gia/giaEquiv.c')
-rw-r--r-- | src/aig/gia/giaEquiv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index 3c5ad848..492f55ef 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -53,7 +53,7 @@ int Gia_ManCheckTopoOrder_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) return 0; if ( !Gia_ManCheckTopoOrder_rec( p, Gia_ObjFanin1(pObj) ) ) return 0; - pRepr = Gia_ObjReprObj( p, Gia_ObjId(p,pObj) ); + pRepr = p->pReprs ? Gia_ObjReprObj( p, Gia_ObjId(p,pObj) ) : NULL; return pRepr == NULL || pRepr->Value == 0; } |