diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-09 18:56:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-09 18:56:48 -0700 |
| commit | cfc82efbb9ce157811279025c53200a5cb6accba (patch) | |
| tree | 260290bbfd1c1311cc7491a03d97336855c51a86 /src/bool | |
| parent | 518410af359e2e4dcb61613fcebcb6dfe85cae08 (diff) | |
| download | abc-cfc82efbb9ce157811279025c53200a5cb6accba.tar.gz abc-cfc82efbb9ce157811279025c53200a5cb6accba.tar.bz2 abc-cfc82efbb9ce157811279025c53200a5cb6accba.zip | |
Compiler warnings.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/lucky/luckyRead.c | 3 |
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'; |