diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-04 11:25:56 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-04 11:25:56 +0100 |
| commit | d7ecb23eeee9c9b4924182ce570c2e33eb18abff (patch) | |
| tree | d9dee5230c81bb2afae70dbbb340bd742cae180c | |
| parent | f36724e301a4b7b2a93c3ea9314363c8e91d0e6e (diff) | |
| download | abc-d7ecb23eeee9c9b4924182ce570c2e33eb18abff.tar.gz abc-d7ecb23eeee9c9b4924182ce570c2e33eb18abff.tar.bz2 abc-d7ecb23eeee9c9b4924182ce570c2e33eb18abff.zip | |
gcc 4.8 fix
| -rw-r--r-- | src/base/io/io.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index a83e9978..8d07702d 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -703,6 +703,7 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex, int iPo = 0; nFrames = -1; int status = 0; + int i; while ( fgets( Buffer, 1000, pFile ) != NULL ) { if ( Buffer[0] == '#' ) @@ -750,7 +751,7 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex, state = 2; break; case 2 : - for (int i=0; i<strlen(Buffer);i++) { + for (i=0; i<strlen(Buffer);i++) { char c = Buffer[i]; if ( c == '0' || c == '1' ) Vec_IntPush( vNums, c - '0' ); @@ -765,7 +766,7 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex, state = 3; break; default: - for (int i=0; i<strlen(Buffer);i++) { + for (i=0; i<strlen(Buffer);i++) { char c = Buffer[i]; if ( c == '0' || c == '1' ) Vec_IntPush( vNums, c - '0' ); @@ -782,7 +783,6 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex, if (usedX) printf( "Warning: Using 0 instead of x in latches or primary inputs\n" ); - int i; Abc_Obj_t * pObj; int iFrameCex = nFrames; int nRegsNtk = 0; |