From d7ecb23eeee9c9b4924182ce570c2e33eb18abff Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 4 Mar 2022 11:25:56 +0100
Subject: gcc 4.8 fix

---
 src/base/io/io.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

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;
-- 
cgit v1.2.3