summaryrefslogtreecommitdiffstats
path: root/src/bool
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-08-09 18:56:48 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-08-09 18:56:48 -0700
commitcfc82efbb9ce157811279025c53200a5cb6accba (patch)
tree260290bbfd1c1311cc7491a03d97336855c51a86 /src/bool
parent518410af359e2e4dcb61613fcebcb6dfe85cae08 (diff)
downloadabc-cfc82efbb9ce157811279025c53200a5cb6accba.tar.gz
abc-cfc82efbb9ce157811279025c53200a5cb6accba.tar.bz2
abc-cfc82efbb9ce157811279025c53200a5cb6accba.zip
Compiler warnings.
Diffstat (limited to 'src/bool')
-rw-r--r--src/bool/lucky/luckyRead.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bool/lucky/luckyRead.c b/src/bool/lucky/luckyRead.c
index 0f2ab167..480393b7 100644
--- a/src/bool/lucky/luckyRead.c
+++ b/src/bool/lucky/luckyRead.c
@@ -125,6 +125,7 @@ static char * Abc_FileRead( char * pFileName )
FILE * pFile;
char * pBuffer;
int nFileSize;
+ int RetValue;
pFile = fopen( pFileName, "r" );
if ( pFile == NULL )
{
@@ -138,7 +139,7 @@ static char * Abc_FileRead( char * pFileName )
rewind( pFile );
// load the contents of the file into memory
pBuffer = (char *)malloc( nFileSize + 3 );
- fread( pBuffer, nFileSize, 1, pFile );
+ RetValue = fread( pBuffer, nFileSize, 1, pFile );
// add several empty lines at the end
// (these will be used to signal the end of parsing)
pBuffer[ nFileSize + 0] = '\n';