diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 21:10:58 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 21:10:58 -0800 |
| commit | 35733eb1a1e36c058e6102b98991907a2f61d84e (patch) | |
| tree | 7ded364be50ed2a7a20c16197001b323da524d2a /src/aig/saig/saigAbsCba.c | |
| parent | 68baf0380921baf1e409241177f1722eb239ce91 (diff) | |
| download | abc-35733eb1a1e36c058e6102b98991907a2f61d84e.tar.gz abc-35733eb1a1e36c058e6102b98991907a2f61d84e.tar.bz2 abc-35733eb1a1e36c058e6102b98991907a2f61d84e.zip | |
Added/renamed useful APIs.
Diffstat (limited to 'src/aig/saig/saigAbsCba.c')
| -rw-r--r-- | src/aig/saig/saigAbsCba.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigAbsCba.c b/src/aig/saig/saigAbsCba.c index 15f2bdfd..f3e55c72 100644 --- a/src/aig/saig/saigAbsCba.c +++ b/src/aig/saig/saigAbsCba.c @@ -477,7 +477,7 @@ Aig_Man_t * Saig_ManCbaUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nI if ( *pvReg2Frame ) { Vec_VecPushInt( *pvReg2Frame, f, Aig_ObjId(pObj) ); // record LO - Vec_VecPushInt( *pvReg2Frame, f, Aig_ObjRealLit((Aig_Obj_t *)pObj->pData) ); // record its literal + Vec_VecPushInt( *pvReg2Frame, f, Aig_ObjToLit((Aig_Obj_t *)pObj->pData) ); // record its literal } } } |