summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlc.h
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2016-10-06 22:04:11 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2016-10-06 22:04:11 -0700
commiteb65c0188829ced86c6e15aaf31a8430d13ffd6d (patch)
treefaab23588f630883ab19dd19cf0ee00fc02e0937 /src/base/wlc/wlc.h
parent80327537bb9325954a01ead529d914965ee895b1 (diff)
downloadabc-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.h2
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 );