summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/base/abc/abc.h2
-rw-r--r--src/base/abc/abcFunc.c1
-rw-r--r--src/base/abci/abc.c3
-rw-r--r--src/base/abci/abcFx.c1
4 files changed, 2 insertions, 5 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h
index a2b2fdf5..2ffa7de9 100644
--- a/src/base/abc/abc.h
+++ b/src/base/abc/abc.h
@@ -610,6 +610,8 @@ extern ABC_DLL Abc_Obj_t * Abc_ObjInsertBetween( Abc_Obj_t * pNodeIn, Abc
extern ABC_DLL void Abc_ObjTransferFanout( Abc_Obj_t * pObjOld, Abc_Obj_t * pObjNew );
extern ABC_DLL void Abc_ObjReplace( Abc_Obj_t * pObjOld, Abc_Obj_t * pObjNew );
extern ABC_DLL int Abc_ObjFanoutFaninNum( Abc_Obj_t * pFanout, Abc_Obj_t * pFanin );
+/*=== abcFanOrder.c ==========================================================*/
+extern ABC_DLL int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk );
/*=== abcFraig.c ==========================================================*/
extern ABC_DLL Abc_Ntk_t * Abc_NtkFraig( Abc_Ntk_t * pNtk, void * pParams, int fAllNodes, int fExdc );
extern ABC_DLL void * Abc_NtkToFraig( Abc_Ntk_t * pNtk, void * pParams, int fAllNodes, int fExdc );
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c
index f43186ee..437c44fd 100644
--- a/src/base/abc/abcFunc.c
+++ b/src/base/abc/abcFunc.c
@@ -605,7 +605,6 @@ int Abc_CountZddCubes( DdManager * dd, DdNode * zCover )
***********************************************************************/
int Abc_NtkSopToAig( Abc_Ntk_t * pNtk )
{
- extern int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk );
Abc_Obj_t * pNode;
Hop_Man_t * pMan;
int i;
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;