summaryrefslogtreecommitdiffstats
path: root/src/base/abci
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-04-01 18:41:56 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-04-01 18:41:56 -0700
commit5ec77b66e1ed399891b665f9f14e9f92ddf1c3d2 (patch)
tree1634fd87e7128e00a3789a3734f29a842fd6f871 /src/base/abci
parent48fce79453b6d3bc591303075e4f3ae95a821f62 (diff)
downloadabc-5ec77b66e1ed399891b665f9f14e9f92ddf1c3d2.tar.gz
abc-5ec77b66e1ed399891b665f9f14e9f92ddf1c3d2.tar.bz2
abc-5ec77b66e1ed399891b665f9f14e9f92ddf1c3d2.zip
Updating 'sim3' to move the design into the last rare state.
Diffstat (limited to 'src/base/abci')
-rw-r--r--src/base/abci/abc.c3
1 files changed, 0 insertions, 3 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 27792c98..b41734ba 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -15460,9 +15460,6 @@ int Abc_CommandZero( Abc_Frame_t * pAbc, int argc, char ** argv )
{
Abc_Ntk_t * pNtk, * pNtkRes;
int c;
-
- extern Abc_Ntk_t * Abc_NtkRestrashZero( Abc_Ntk_t * pNtk, int fCleanup );
-
pNtk = Abc_FrameReadNtk(pAbc);
// set defaults
Extra_UtilGetoptReset();