From eb65c0188829ced86c6e15aaf31a8430d13ffd6d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 6 Oct 2016 22:04:11 -0700 Subject: Change Verilog reader to take a string rather than file name. --- src/base/wlc/wlc.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/wlc/wlc.h') diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index bb5c4bfe..90596093 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -286,7 +286,7 @@ extern void Wlc_NtkDeleteSim( Vec_Ptr_t * p ); /*=== wlcStdin.c ========================================================*/ extern int Wlc_StdinProcessSmt( Abc_Frame_t * pAbc, char * pCmd ); /*=== wlcReadVer.c ========================================================*/ -extern Wlc_Ntk_t * Wlc_ReadVer( char * pFileName ); +extern Wlc_Ntk_t * Wlc_ReadVer( char * pFileName, char * pStr ); /*=== wlcWriteVer.c ========================================================*/ extern void Wlc_WriteVer( Wlc_Ntk_t * p, char * pFileName, int fAddCos, int fNoFlops ); -- cgit v1.2.3