diff options
Diffstat (limited to 'src/base/abci/abcScorr.c')
-rw-r--r-- | src/base/abci/abcScorr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcScorr.c b/src/base/abci/abcScorr.c index e7683edf..60199b33 100644 --- a/src/base/abci/abcScorr.c +++ b/src/base/abci/abcScorr.c @@ -326,7 +326,7 @@ Abc_Ntk_t * Abc_NtkTestScorr( char * pFileNameIn, char * pFileNameOut, int nStep Abc_Ntk_t * pNetlist, * pLogic, * pStrash, * pResult; Aig_Man_t * pAig, * pTempAig; Gia_Man_t * pGia, * pTempGia; - int Counter = 0; +// int Counter = 0; // check the files pFile = fopen( pFileNameIn, "rb" ); if ( pFile == NULL ) |