1 files changed, 6 insertions, 0 deletions
diff --git a/src/proof/dch/dchCore.c b/src/proof/dch/dchCore.c
index 0d2e8c0d..654ed359 100644
--- a/src/proof/dch/dchCore.c
+++ b/src/proof/dch/dchCore.c
@@ -106,6 +106,12 @@ p->timeSimInit = clock() - clk;
     // free memory ahead of time
 p->timeTotal = clock() - clkTotal;
     Dch_ManStop( p );
+    // try something different
+    {
+//    extern void Gia_ManNormalizeChoicesTest( Aig_Man_t * pAig );
+//    Gia_ManNormalizeChoicesTest( pAig );
+    }
+
     // create choices
     ABC_FREE( pAig->pTable );
     pResult = Dch_DeriveChoiceAig( pAig, pPars->fSkipRedSupp );