summaryrefslogtreecommitdiffstats
path: root/src/base/abci
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-08-28 00:11:24 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-08-28 00:11:24 -0700
commit3c51dd47b515643598a9b8b90d721c4d13ea9645 (patch)
tree616a40a7f1d56f72ddc7f1caca8b2da145cc99ea /src/base/abci
parent70a236379bb647ed6ada8b9381d182fab1d74d84 (diff)
downloadabc-3c51dd47b515643598a9b8b90d721c4d13ea9645.tar.gz
abc-3c51dd47b515643598a9b8b90d721c4d13ea9645.tar.bz2
abc-3c51dd47b515643598a9b8b90d721c4d13ea9645.zip
Tuning LUT mapping flow.
Diffstat (limited to 'src/base/abci')
-rw-r--r--src/base/abci/abc.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 44246a2f..2fe19a59 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -26106,6 +26106,7 @@ int Abc_CommandAbc9Strash( Abc_Frame_t * pAbc, int argc, char ** argv )
if ( !Abc_FrameReadFlag("silentmode") )
printf( "Rehashed the current AIG.\n" );
}
+ Gia_ManTransferTiming( pTemp, pAbc->pGia );
Abc_FrameUpdateGia( pAbc, pTemp );
return 0;