diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-31 22:20:57 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-31 22:20:57 -0700 |
| commit | a965f2a0fd3e7ff8926d948440d8579770236fc5 (patch) | |
| tree | 1514300bbecb9544104fb1ef906a3c7bbe102ba4 /src/proof/pdr/pdrInv.c | |
| parent | 49c2661ae1db3c038dcf3095ec1ed9c093e0dd15 (diff) | |
| download | abc-a965f2a0fd3e7ff8926d948440d8579770236fc5.tar.gz abc-a965f2a0fd3e7ff8926d948440d8579770236fc5.tar.bz2 abc-a965f2a0fd3e7ff8926d948440d8579770236fc5.zip | |
Compiler warnings.
Diffstat (limited to 'src/proof/pdr/pdrInv.c')
| -rw-r--r-- | src/proof/pdr/pdrInv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c index 1b97941d..eef24b83 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 ); |