From a965f2a0fd3e7ff8926d948440d8579770236fc5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 31 Mar 2014 22:20:57 -0700
Subject: [PATCH] Compiler warnings.

---
 src/proof/pdr/pdrInv.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c
index 1b97941db..eef24b837 100644
--- a/src/proof/pdr/pdrInv.c
+++ b/src/proof/pdr/pdrInv.c
@@ -21,6 +21,7 @@
 #include "pdrInt.h"
 #include "base/abc/abc.h"      // for Abc_NtkCollectCioNames()
 #include "base/main/main.h"    // for Abc_FrameReadGlobalFrame()
+#include "aig/ioa/ioa.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -292,7 +293,6 @@ Aig_Man_t * Pdr_ManDupAigWithClauses( Aig_Man_t * p, Vec_Ptr_t * vCubes )
 }
 void Pdr_ManDumpAig( Aig_Man_t * p, Vec_Ptr_t * vCubes )
 {
-    extern void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact );
     Aig_Man_t * pNew = Pdr_ManDupAigWithClauses( p, vCubes );
     Ioa_WriteAiger( pNew, "aig_with_clauses.aig", 0, 0 );
     Aig_ManStop( pNew );