diff options
Diffstat (limited to 'src/proof/cec/cecSeq.c')
| -rw-r--r-- | src/proof/cec/cecSeq.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/cec/cecSeq.c b/src/proof/cec/cecSeq.c index 3afbd1c8..da60de1d 100644 --- a/src/proof/cec/cecSeq.c +++ b/src/proof/cec/cecSeq.c @@ -191,7 +191,7 @@ int Cec_ManSeqResimulateInfo( Gia_Man_t * pAig, Vec_Ptr_t * vSimInfo, Abc_Cex_t pParsSim->nFrames = (Vec_PtrSize(vSimInfo) - Gia_ManRegNum(pAig)) / Gia_ManPiNum(pAig); pParsSim->nWords = Vec_PtrReadWordsSimInfo( vSimInfo ); pParsSim->fCheckMiter = fCheckMiter; - Gia_ManSetRefs( pAig ); + Gia_ManCreateValueRefs( pAig ); pSim = Cec_ManSimStart( pAig, pParsSim ); if ( pBestState ) pSim->pBestState = pBestState; |