diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-13 16:28:17 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-13 16:28:17 -0800 |
| commit | edf3622ceb8569b87ffc007c75716f1042ba00d7 (patch) | |
| tree | bc8246d3cb5878b31e10c1a472a1ad6bd312660d /src/base/wlc/wlcReadSmt.c | |
| parent | ea2d82ab141c5a162f2c2cf0adce74a21d911d8a (diff) | |
| download | abc-edf3622ceb8569b87ffc007c75716f1042ba00d7.tar.gz abc-edf3622ceb8569b87ffc007c75716f1042ba00d7.tar.bz2 abc-edf3622ceb8569b87ffc007c75716f1042ba00d7.zip | |
Several improvements to CBA data-structure.
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 ) |