diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-16 12:36:06 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-16 12:36:06 +0700 |
| commit | ccaed178caad986a30d77b1229437ee790a460b5 (patch) | |
| tree | 570d52a94cf86f6ec510f3ccf5f040b2a251bb87 /src | |
| parent | 302f7d7a97336714c684c66d3b781f41643475c3 (diff) | |
| download | abc-ccaed178caad986a30d77b1229437ee790a460b5.tar.gz abc-ccaed178caad986a30d77b1229437ee790a460b5.tar.bz2 abc-ccaed178caad986a30d77b1229437ee790a460b5.zip | |
Fixed a glitch in &dch, which removed the flops.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/dch/dchChoice.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/dch/dchChoice.c b/src/aig/dch/dchChoice.c index fd517fb9..1772f8aa 100644 --- a/src/aig/dch/dchChoice.c +++ b/src/aig/dch/dchChoice.c @@ -463,6 +463,7 @@ Aig_Man_t * Dch_DeriveChoiceAigInt( Aig_Man_t * pAig ) Aig_ManForEachPo( pAig, pObj, i ) Aig_ObjCreatePo( pChoices, Aig_ObjChild0CopyRepr(pChoices, pObj) ); Dch_DeriveChoiceCountEquivs( pChoices ); + Aig_ManSetRegNum( pChoices, Aig_ManRegNum(pAig) ); return pChoices; } |