From 8eebe633d3b08a227f2143b6b48a02ab35e3bab2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 10 Apr 2020 12:43:01 -0700 Subject: Various changes. --- src/base/acb/acb.h | 2 ++ src/base/acb/acbUtil.c | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/base/acb/acb.h b/src/base/acb/acb.h index 36300efd..9aed414c 100644 --- a/src/base/acb/acb.h +++ b/src/base/acb/acb.h @@ -1028,6 +1028,8 @@ extern void Acb_NtkPrintNode( Acb_Ntk_t * p, int iObj ); extern int Acb_NtkCreateNode( Acb_Ntk_t * p, word uTruth, Vec_Int_t * vSupp ); extern void Acb_NtkUpdateNode( Acb_Ntk_t * p, int Pivot, word uTruth, Vec_Int_t * vSupp ); +extern Acb_Ntk_t * Acb_VerilogSimpleRead( char * pFileName, char * pFileNameW ); + ABC_NAMESPACE_HEADER_END diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index e899e163..e7003adf 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -28,6 +28,7 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -662,7 +663,6 @@ Vec_Int_t * Acb_NtkCollectUser( Acb_Ntk_t * p, Vec_Ptr_t * vUser ) int Acb_NtkExtract( char * pFileName0, char * pFileName1, int fUseXors, int fVerbose, Gia_Man_t ** ppGiaF, Gia_Man_t ** ppGiaG, int fUseBuf, Vec_Int_t ** pvNodes, Vec_Ptr_t ** pvNodesR, Vec_Bit_t ** pvPolar ) { - extern Acb_Ntk_t * Acb_VerilogSimpleRead( char * pFileName, char * pFileNameW ); Acb_Ntk_t * pNtkF = Acb_VerilogSimpleRead( pFileName0, NULL ); Acb_Ntk_t * pNtkG = Acb_VerilogSimpleRead( pFileName1, NULL ); int RetValue = -1; -- cgit v1.2.3