3 files changed, 0 insertions, 3 deletions
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 )