summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcIvy.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2007-01-15 08:01:00 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2007-01-15 08:01:00 -0800
commit93aedd2c5155478de7602db4db2c2df4c73e32e0 (patch)
treeb0d3cd0a54e6f0b555bd82e44112fd2ec935f19c /src/base/abci/abcIvy.c
parent8dfe404863427d5e7b18d055ffd78b453835f959 (diff)
downloadabc-93aedd2c5155478de7602db4db2c2df4c73e32e0.tar.gz
abc-93aedd2c5155478de7602db4db2c2df4c73e32e0.tar.bz2
abc-93aedd2c5155478de7602db4db2c2df4c73e32e0.zip
Version abc70115
Diffstat (limited to 'src/base/abci/abcIvy.c')
-rw-r--r--src/base/abci/abcIvy.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcIvy.c b/src/base/abci/abcIvy.c
index 9ce1ad26..610f5b5c 100644
--- a/src/base/abci/abcIvy.c
+++ b/src/base/abci/abcIvy.c
@@ -199,7 +199,7 @@ Abc_Ntk_t * Abc_NtkIvyHaig( Abc_Ntk_t * pNtk, int nIters, int fUseZeroCost, int
// for ( i = 0; i < nIters; i++ )
// Ivy_ManRewriteSeq( pMan, fUseZeroCost, 0 );
Ivy_ManRewriteSeq( pMan, 0, 0 );
- Ivy_ManRewriteSeq( pMan, 1, 0 );
+// Ivy_ManRewriteSeq( pMan, 1, 0 );
//printf( "Haig size = %d.\n", Ivy_ManNodeNum(pMan->pHaig) );
// Ivy_ManHaigPostprocess( pMan, fVerbose );
//timeRetime = clock() - timeRetime;