Fixing C++ compilation issues.

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

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;
 

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 )

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() );

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() );

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 )