From 24823dce0c2c6efb03948b69fff4e6da31b5b2c1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 20 Feb 2013 23:34:27 -0800
Subject: Integrating sweeping information.

---
 src/aig/gia/giaSweep.c | 2 +-
 src/misc/tim/timMan.c  | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c
index 81fe8b97..47d368c0 100644
--- a/src/aig/gia/giaSweep.c
+++ b/src/aig/gia/giaSweep.c
@@ -298,7 +298,7 @@ Gia_Man_t * Gia_ManFraigSweep( Gia_Man_t * p, void * pPars )
         printf( "Timing manager is given but there is no GIA of boxes.\n" );
         return NULL;
     }
-    // ordering AIG objects
+    // order AIG objects
     pNew = Gia_ManDupUnnormalize( p );
     if ( pNew == NULL )
         return NULL;
diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c
index a4e95e31..26c3cb04 100644
--- a/src/misc/tim/timMan.c
+++ b/src/misc/tim/timMan.c
@@ -221,6 +221,7 @@ Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres )
             if ( Vec_IntEntry(vBoxPres, i) )
             {
                 Tim_ManCreateBox( pNew, curPo, pBox->nInputs, curPi, pBox->nOutputs, pBox->iDelayTable );
+                Tim_ManBoxSetCopy( pNew, Tim_ManBoxNum(pNew) - 1, i );
                 curPi += pBox->nOutputs;
                 curPo += pBox->nInputs;
             }
-- 
cgit v1.2.3