summaryrefslogtreecommitdiffstats
path: root/src/aig/fra/fraSec.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2008-02-12 08:01:00 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2008-02-12 08:01:00 -0800
commitbd995ee2ca86bcb488d2e9592012b6077a6283f6 (patch)
tree7b11181885531a3064c4cc1555c011a00100e68b /src/aig/fra/fraSec.c
parentd9760b04a80adbb44a203aeb614ab6576171aa9b (diff)
downloadabc-bd995ee2ca86bcb488d2e9592012b6077a6283f6.tar.gz
abc-bd995ee2ca86bcb488d2e9592012b6077a6283f6.tar.bz2
abc-bd995ee2ca86bcb488d2e9592012b6077a6283f6.zip
Version abc80212
Diffstat (limited to 'src/aig/fra/fraSec.c')
-rw-r--r--src/aig/fra/fraSec.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c
index 3e0fca6a..a43d83b1 100644
--- a/src/aig/fra/fraSec.c
+++ b/src/aig/fra/fraSec.c
@@ -211,8 +211,8 @@ PRT( "Time", clock() - clk );
}
// perform retiming
-// if ( fRetimeFirst && pNew->nRegs )
- if ( pNew->nRegs )
+ if ( fRetimeFirst && pNew->nRegs )
+// if ( pNew->nRegs )
{
clk = clock();
pNew = Rtm_ManRetime( pTemp = pNew, 1, 1000, 0 );