diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-06 22:04:11 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-06 22:04:11 -0700 |
commit | eb65c0188829ced86c6e15aaf31a8430d13ffd6d (patch) | |
tree | faab23588f630883ab19dd19cf0ee00fc02e0937 /src/base/wlc/wlc.h | |
parent | 80327537bb9325954a01ead529d914965ee895b1 (diff) | |
download | abc-eb65c0188829ced86c6e15aaf31a8430d13ffd6d.tar.gz abc-eb65c0188829ced86c6e15aaf31a8430d13ffd6d.tar.bz2 abc-eb65c0188829ced86c6e15aaf31a8430d13ffd6d.zip |
Change Verilog reader to take a string rather than file name.
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |