From 2c6faa0607856d75b7c9037afa6dedb7ba834ce6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 28 Apr 2012 16:04:17 +0700
Subject: Compilation problem caused by multiple declarations.

---
 src/base/abci/abc.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base')

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 );
-- 
cgit v1.2.3