diff --git a/src/aig/dch/dchChoice.c b/src/aig/dch/dchChoice.c
index fd517fb9e..1772f8aaa 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;
 }