diff options
Diffstat (limited to 'src/proof/fra/fraImp.c')
| -rw-r--r-- | src/proof/fra/fraImp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/fra/fraImp.c b/src/proof/fra/fraImp.c index 9877ceaa..de24f179 100644 --- a/src/proof/fra/fraImp.c +++ b/src/proof/fra/fraImp.c @@ -717,7 +717,7 @@ void Fra_ImpRecordInManager( Fra_Man_t * p, Aig_Man_t * pNew ) pMiter = Aig_Or( pNew, Aig_NotCond((Aig_Obj_t *)pLeft->pData, !pLeft->fPhase), Aig_NotCond((Aig_Obj_t *)pRight->pData, pRight->fPhase) ); - Aig_ObjCreatePo( pNew, pMiter ); + Aig_ObjCreateCo( pNew, pMiter ); } pNew->nAsserts = Aig_ManPoNum(pNew) - nPosOld; } |