diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-01 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-01 08:01:00 -0700 |
| commit | 4a9789e58d27ecaba541ba3fcb0565a334dcd54b (patch) | |
| tree | 1784dcf05dd78b0acddb7d52764f1e3fd6ef2d49 /src/aig/fra/fraLcr.c | |
| parent | d0341836ddb38ccc087bdac3df4e8b2ff7fe7a8f (diff) | |
| download | abc-4a9789e58d27ecaba541ba3fcb0565a334dcd54b.tar.gz abc-4a9789e58d27ecaba541ba3fcb0565a334dcd54b.tar.bz2 abc-4a9789e58d27ecaba541ba3fcb0565a334dcd54b.zip | |
Version abc80701
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 ); |