diff options
Diffstat (limited to 'src/aig/fra/fraLcr.c')
| -rw-r--r-- | src/aig/fra/fraLcr.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/fra/fraLcr.c b/src/aig/fra/fraLcr.c index c957a751..92e0d94b 100644 --- a/src/aig/fra/fraLcr.c +++ b/src/aig/fra/fraLcr.c @@ -540,6 +540,8 @@ Aig_Man_t * Fra_FraigLatchCorrespondence( Aig_Man_t * pAig, int nFramesP, int nC if ( Aig_ManNodeNum(pAig) == 0 ) { if ( pnIter ) *pnIter = 0; + // Ntl_ManFinalize() requires the following to satisfy an assertion. + Aig_ManReprStart(pAig,Aig_ManObjNumMax(pAig)); return Aig_ManDupOrdered(pAig); } assert( Aig_ManRegNum(pAig) > 0 ); |