diff options
Diffstat (limited to 'src/base/wlc/wlcReadSmt.c')
-rw-r--r-- | src/base/wlc/wlcReadSmt.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index ec1ec567..52d5e887 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -667,7 +667,6 @@ Wlc_Ntk_t * Wlc_ReadSmtBuffer( char * pFileName, char * pBuffer, char * pLimit ) Wlc_Ntk_t * Wlc_ReadSmt( char * pFileName ) { Wlc_Ntk_t * pNtk = NULL; - Prs_Smt_t * p = NULL; char * pBuffer, * pLimit; pBuffer = Prs_SmtLoadFile( pFileName, &pLimit ); if ( pBuffer == NULL ) |