Fixing C++ compilation issues.

6 files changed, 3 insertions, 6 deletions

diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index fbc9212e..7f21499b 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -1028,9 +1028,10 @@ extern void                Tas_ManSatPrintStats( Tas_Man_t * p );
 extern int                 Tas_ManSolve( Tas_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pObj2 );
 extern int                 Tas_ManSolveArray( Tas_Man_t * p, Vec_Ptr_t * vObjs );
 
+extern int                 Gia_ManToBridgeAbsNetlist( FILE * pFile, Gia_Man_t * p );
 
-ABC_NAMESPACE_HEADER_END
 
+ABC_NAMESPACE_HEADER_END
 
 
 #endif
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index febbc469..8ddb3bfe 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -11678,7 +11678,6 @@ usage:
 ***********************************************************************/
 int Abc_CommandSendAig( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    extern int Gia_ManToBridgeAbsNetlist( FILE * pFile, Gia_Man_t * p, int msg_type );
     const int BRIDGE_NETLIST = 106;
     const int BRIDGE_ABS_NETLIST = 107;
 
diff --git a/src/map/if/ifTruth.c b/src/map/if/ifTruth.c
index c86e4381..bdbb2e1f 100644
--- a/src/map/if/ifTruth.c
+++ b/src/map/if/ifTruth.c
@@ -647,7 +647,7 @@ static inline void If_TruthStretch2( word * pTruth, int nVars, int * pPerm, int
         if ( i < pPerm[i] )
             Abc_TtSwapVars( pTruth, nVars, i, pPerm[i] );
 }
-inline int If_CutComputeTruth2( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_Cut_t * pCut1, int fCompl0, int fCompl1 )
+int If_CutComputeTruth2( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_Cut_t * pCut1, int fCompl0, int fCompl1 )
 {
     int nWords;
     if ( pCut->nLimit < 7 )
diff --git a/src/proof/abs/absGla.c b/src/proof/abs/absGla.c
index 3e933fa0..5002a049 100644
--- a/src/proof/abs/absGla.c
+++ b/src/proof/abs/absGla.c
@@ -1484,7 +1484,6 @@ void Ga2_GlaDumpAbsracted( Ga2_Man_t * p, int fVerbose )
 ***********************************************************************/
 void Gia_Ga2SendAbsracted( Ga2_Man_t * p, int fVerbose )
 {
-    extern int Gia_ManToBridgeAbsNetlist( FILE * pFile, Gia_Man_t * p );
     Gia_Man_t * pAbs;
     Vec_Int_t * vGateClasses;
     assert( Abc_FrameIsBridgeMode() );
diff --git a/src/proof/abs/absGlaOld.c b/src/proof/abs/absGlaOld.c
index 343ec935..e7a445a2 100644
--- a/src/proof/abs/absGlaOld.c
+++ b/src/proof/abs/absGlaOld.c
@@ -1573,7 +1573,6 @@ void Gla_ManReportMemory( Gla_Man_t * p )
 ***********************************************************************/
 void Gia_GlaSendAbsracted( Gla_Man_t * p, int fVerbose )
 {
-    extern int Gia_ManToBridgeAbsNetlist( FILE * pFile, Gia_Man_t * p );
     Gia_Man_t * pAbs;
     Vec_Int_t * vGateClasses;
     assert( Abc_FrameIsBridgeMode() );
diff --git a/src/proof/abs/absVta.c b/src/proof/abs/absVta.c
index d94a93e5..d6d0be60 100644
--- a/src/proof/abs/absVta.c
+++ b/src/proof/abs/absVta.c
@@ -1383,7 +1383,6 @@ void Vga_ManRollBack( Vta_Man_t * p, int nObjOld )
 ***********************************************************************/
 void Gia_VtaSendAbsracted( Vta_Man_t * p, int fVerbose )
 {
-    extern int Gia_ManToBridgeAbsNetlist( FILE * pFile, Gia_Man_t * p );
     Gia_Man_t * pAbs;
     assert( Abc_FrameIsBridgeMode() );
 //    if ( fVerbose )