diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 15:21:11 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 15:21:11 -0700 |
| commit | 37077748a1e421f2fa9385a159ef668b3e117927 (patch) | |
| tree | 704182d17d95e131e0e025134a4568fdbe916df6 /src/base/abci | |
| parent | 22bdf624655bfb1673840937e81eea199ddf512c (diff) | |
| download | abc-37077748a1e421f2fa9385a159ef668b3e117927.tar.gz abc-37077748a1e421f2fa9385a159ef668b3e117927.tar.bz2 abc-37077748a1e421f2fa9385a159ef668b3e117927.zip | |
Moving one declaration to the header file.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 3 | ||||
| -rw-r--r-- | src/base/abci/abcFx.c | 1 |
2 files changed, 0 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index e02ee525..f053f5c6 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -9938,10 +9938,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) } */ if ( pNtk ) - { - extern void Abc_NtkMakeLegit( Abc_Ntk_t * pNtk ); Abc_NtkMakeLegit( pNtk ); - } return 0; usage: Abc_Print( -2, "usage: test [-CKDN] [-aovwh] <file_name>\n" ); diff --git a/src/base/abci/abcFx.c b/src/base/abci/abcFx.c index be6192f0..cf600148 100644 --- a/src/base/abci/abcFx.c +++ b/src/base/abci/abcFx.c @@ -135,7 +135,6 @@ static inline int Fx_ManGetFirstVarCube( Fx_Man_t * p, Vec_Int_t * vCube ) { ret ***********************************************************************/ Vec_Wec_t * Abc_NtkFxRetrieve( Abc_Ntk_t * pNtk ) { - extern int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk ); Vec_Wec_t * vCubes; Vec_Int_t * vCube; Abc_Obj_t * pNode; |