diff options
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 c84fbf68..0767b354 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -270,7 +270,7 @@ extern int Wlc_StdinProcessSmt( Abc_Frame_t * pAbc, char * pCmd ); /*=== wlcReadVer.c ========================================================*/ extern Wlc_Ntk_t * Wlc_ReadVer( char * pFileName ); /*=== wlcWriteVer.c ========================================================*/ -extern void Wlc_WriteVer( Wlc_Ntk_t * p, char * pFileName, int fAddCos ); +extern void Wlc_WriteVer( Wlc_Ntk_t * p, char * pFileName, int fAddCos, int fNoFlops ); ABC_NAMESPACE_HEADER_END |