diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-28 16:04:17 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-28 16:04:17 +0700 |
| commit | 2c6faa0607856d75b7c9037afa6dedb7ba834ce6 (patch) | |
| tree | eada37bb5fe9621365e85bf8ed81a7831b93b378 /src/base | |
| parent | 490e84c4bcbd726ac40700e6bfa93042d1f79c7d (diff) | |
| download | abc-2c6faa0607856d75b7c9037afa6dedb7ba834ce6.tar.gz abc-2c6faa0607856d75b7c9037afa6dedb7ba834ce6.tar.bz2 abc-2c6faa0607856d75b7c9037afa6dedb7ba834ce6.zip | |
Compilation problem caused by multiple declarations.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index cb22493c..f1b5d90a 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -20097,6 +20097,7 @@ int Abc_CommandBmcInter( Abc_Frame_t * pAbc, int argc, char ** argv ) pAbc->Status = Abc_NtkDarBmcInter( pNtkNew, pPars, NULL ); if ( pAbc->Status == 0 ) { + extern Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters ); Aig_Man_t * pMan = Abc_NtkToDar( pNtk, 0, 1 ); pNtkNew->pSeqModel->iPo = Saig_ManFindFailedPoCex( pMan, pNtkNew->pSeqModel ); Aig_ManStop( pMan ); |