summaryrefslogtreecommitdiffstats
path: root/src/bool
diff options
context:
space:
mode:
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';