1 files changed, 6 insertions, 0 deletions
diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c
index ac52fe9c..4ef8725e 100644
--- a/src/aig/gia/giaSweep.c
+++ b/src/aig/gia/giaSweep.c
@@ -326,6 +326,12 @@ Gia_Man_t * Gia_ManFraigSweep( Gia_Man_t * p, void * pPars )
     pTemp->pManTime  = NULL;
     pTemp->pAigExtra = NULL;
     Gia_ManStop( pTemp );
+    // normalize the result
+    pNew = Gia_ManDupNormalize( pTemp = pNew );
+    pNew->pManTime   = pTemp->pManTime;   pTemp->pManTime   = NULL;
+    pNew->pAigExtra  = pTemp->pAigExtra;  pTemp->pAigExtra  = NULL;
+    pNew->nAnd2Delay = pTemp->nAnd2Delay; pTemp->nAnd2Delay = 0;
+    Gia_ManStop( pTemp );
     // return the result
     assert( pNew->pManTime  != NULL );
     assert( pNew->pAigExtra != NULL );