From ccaed178caad986a30d77b1229437ee790a460b5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 16 Jul 2011 12:36:06 +0700 Subject: Fixed a glitch in &dch, which removed the flops. --- src/aig/dch/dchChoice.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src') 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; } -- cgit v1.2.3