Fixing C++ compilation issues.

This commit is contained in:
Alan Mishchenko 2013-01-08 14:15:39 +08:00
parent a625caa17d
commit 562b612691
1 changed files with 3 additions and 0 deletions

View File

@ -1106,10 +1106,13 @@ Au_Ntk_t * Au_NtkParseCBlif( char * pFileName )
return pRoot;
}
ABC_NAMESPACE_IMPL_END
#include "abc.h"
#include "aig/gia/gia.h"
ABC_NAMESPACE_IMPL_START
extern Vec_Ptr_t * Abc_NtkDfsBoxes( Abc_Ntk_t * pNtk );
extern int Abc_NtkDeriveFlatGiaSop( Gia_Man_t * pGia, int * gFanins, char * pSop );
extern int Abc_NtkCheckRecursive( Abc_Ntk_t * pNtk );