From 8ee49ff150a12f7183fe25e0a8d8e845391c100b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 4 Nov 2015 15:15:18 -0800 Subject: Bug fix in constructing internal choices by 'amap'. --- src/map/amap/amapInt.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/map/amap/amapInt.h b/src/map/amap/amapInt.h index b28ea7e7..82ca49dd 100644 --- a/src/map/amap/amapInt.h +++ b/src/map/amap/amapInt.h @@ -256,7 +256,7 @@ static inline int Amap_ObjLevel( Amap_Obj_t * pObj ) static inline void Amap_ObjSetLevel( Amap_Obj_t * pObj, int Level ) { pObj->Level = Level; } static inline void Amap_ObjSetCopy( Amap_Obj_t * pObj, void * pCopy ) { pObj->pData = pCopy; } static inline Amap_Obj_t * Amap_ObjChoice( Amap_Man_t * p, Amap_Obj_t * pObj ) { return pObj->Equiv? Amap_ManObj(p, pObj->Equiv) : NULL; } -static inline void Amap_ObjSetChoice( Amap_Obj_t * pObj, Amap_Obj_t * pEqu){ assert(pObj->Equiv==0); pObj->Equiv = pEqu->Id; } +static inline void Amap_ObjSetChoice( Amap_Obj_t * pObj, Amap_Obj_t * pEqu){ assert(pObj->Equiv==0); if (pObj->Id != pEqu->Id) pObj->Equiv = pEqu->Id; } static inline int Amap_ObjPhaseReal( Amap_Obj_t * pObj ) { return Amap_Regular(pObj)->fPhase ^ Amap_IsComplement(pObj); } static inline int Amap_ObjRefsTotal( Amap_Obj_t * pObj ) { return pObj->nFouts[0] + pObj->nFouts[1]; } -- cgit v1.2.3