diff options
Diffstat (limited to 'src/base/abc/abcUtil.c')
| -rw-r--r-- | src/base/abc/abcUtil.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c index 3de48f00..bb1ae2ed 100644 --- a/src/base/abc/abcUtil.c +++ b/src/base/abc/abcUtil.c @@ -1490,7 +1490,8 @@ void Abc_NtkTransferCopy( Abc_Ntk_t * pNtk ) static inline int Abc_ObjCrossCutInc( Abc_Obj_t * pObj ) { // pObj->pCopy = (void *)(((int)pObj->pCopy)++); - ((char*)pObj->pCopy)++; + int Value = (int)pObj->pCopy; + pObj->pCopy = (void *)(Value + 1); return (int)pObj->pCopy == Abc_ObjFanoutNum(pObj); } |