diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-13 15:16:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-13 15:16:10 -0800 |
| commit | 686d38d66754027cd29c64f1dc2975248eab7796 (patch) | |
| tree | 435569e7bdd7f2ead5c4e8584cfaf06e206ab3f4 /src/aig/ssw | |
| parent | 8acd4edd5ade4f8836ddae292d45cdfedcb3a30c (diff) | |
| download | abc-686d38d66754027cd29c64f1dc2975248eab7796.tar.gz abc-686d38d66754027cd29c64f1dc2975248eab7796.tar.bz2 abc-686d38d66754027cd29c64f1dc2975248eab7796.zip | |
Changes to enable C++ compilation after recent modifications.
Diffstat (limited to 'src/aig/ssw')
| -rw-r--r-- | src/aig/ssw/sswInt.h | 1 | ||||
| -rw-r--r-- | src/aig/ssw/sswSweep.c | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/ssw/sswInt.h b/src/aig/ssw/sswInt.h index ad868c6e..189494bc 100644 --- a/src/aig/ssw/sswInt.h +++ b/src/aig/ssw/sswInt.h @@ -29,6 +29,7 @@ #include "saig.h" #include "satSolver.h" #include "ssw.h" +#include "ioa.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// diff --git a/src/aig/ssw/sswSweep.c b/src/aig/ssw/sswSweep.c index 40121e42..edae0846 100644 --- a/src/aig/ssw/sswSweep.c +++ b/src/aig/ssw/sswSweep.c @@ -331,7 +331,6 @@ p->timeBmc += clock() - clk; ***********************************************************************/ void Ssw_ManDumpEquivMiter( Aig_Man_t * p, Vec_Int_t * vPairs, int Num ) { - extern void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact ); FILE * pFile; char pBuffer[16]; Aig_Man_t * pNew; |