From 791b107e7a225103ee76c921c3c4a96d0e1adae2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 16 Feb 2012 21:53:16 -0800
Subject: Silencing some of the gcc warnings.

---
 src/aig/ioa/ioaReadAig.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/aig/ioa')

diff --git a/src/aig/ioa/ioaReadAig.c b/src/aig/ioa/ioaReadAig.c
index a1f09edf..eb253659 100644
--- a/src/aig/ioa/ioaReadAig.c
+++ b/src/aig/ioa/ioaReadAig.c
@@ -433,13 +433,13 @@ Aig_Man_t * Ioa_ReadAiger( char * pFileName, int fCheck )
     FILE * pFile;
     Aig_Man_t * pNew;
     char * pName, * pContents;
-    int nFileSize;
+    int nFileSize, RetValue;
 
     // read the file into the buffer
     nFileSize = Ioa_FileSize( pFileName );
     pFile = fopen( pFileName, "rb" );
     pContents = ABC_ALLOC( char, nFileSize );
-    fread( pContents, nFileSize, 1, pFile );
+    RetValue = fread( pContents, nFileSize, 1, pFile );
     fclose( pFile );
 
     pNew = Ioa_ReadAigerFromMemory( pContents, nFileSize, fCheck );
-- 
cgit v1.2.3