diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-06 16:02:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-06 16:02:36 -0700 |
| commit | 3d23bc8c570db1f8de39691df7f6ac464154f644 (patch) | |
| tree | 4439c0d3cd010115d677c2d1ab4c13fba0abf39b /src/base/abci/abc.c | |
| parent | 46370974917ac8fc9ea4d0f864fcb15721d5c591 (diff) | |
| download | abc-3d23bc8c570db1f8de39691df7f6ac464154f644.tar.gz abc-3d23bc8c570db1f8de39691df7f6ac464154f644.tar.bz2 abc-3d23bc8c570db1f8de39691df7f6ac464154f644.zip | |
New AIG optimization package.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index ed20c0f7..d1acef62 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -823,10 +823,6 @@ void Abc_Init( Abc_Frame_t * pAbc ) extern void Dar_LibStart(); Dar_LibStart(); } - { - extern void Dau_DsdTest(); - Dau_DsdTest(); - } } /**Function************************************************************* |