diff --git a/src/leon/src/readdes.c b/src/leon/src/readdes.c
index 40760fd..47f0ca7 100644
--- a/src/leon/src/readdes.c
+++ b/src/leon/src/readdes.c
@@ -25,7 +25,7 @@ static Matrix_01 *xRead01Matrix(
    Unsigned requiredSetSize,
    Unsigned requiredNumberOfRows,
    Unsigned requiredNumberOfCols);
-
+   char *rv;
 
 /*-------------------------- readDesign -----------------------------------*/
 
@@ -62,7 +62,7 @@ Matrix_01 *readDesign(
       not found. */
    rewind( libFile);
    for (;;) {
-      fgets( inputBuffer, 80, libFile);
+      rv = fgets( inputBuffer, 80, libFile);
       if ( feof(libFile) )
          ERROR1s( "readDesign", "Library block ", libName,
                   " not found in specified library.")
@@ -228,7 +228,7 @@ Matrix_01 *read01Matrix(
    rewind( libFile);
    firstIdent = TRUE;
    for (;;) {
-      fgets( inputBuffer, 80, libFile);
+      rv = fgets( inputBuffer, 80, libFile);
       if ( feof(libFile) )
          ERROR1s( "read01Matrix", "Library block ", libName,
                   " not found in specified library.")
diff --git a/src/leon/src/readgrp.c b/src/leon/src/readgrp.c
index 395c68e..c1b7d0a 100644
--- a/src/leon/src/readgrp.c
+++ b/src/leon/src/readgrp.c
@@ -304,8 +304,11 @@ PermGroup *readPermGroup(
    TokenType terminator;
    char attribute[MAX_NAME_LENGTH+1];
    char inputBuffer[81];
+   char *rv;
+   
    RandomSchreierOptions rOptions = {0,UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN,
                                      UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN};
+
    /* Attempt to open library file. */
    libFile = fopen( libFileName, "r");
    if ( libFile == NULL )
@@ -333,7 +336,7 @@ PermGroup *readPermGroup(
       not found. */
    rewind( libFile);
    for (;;) {
-      fgets( inputBuffer, 80, libFile);
+      rv = fgets( inputBuffer, 80, libFile);
       if ( feof(libFile) )
          ERROR1s( "readPermGroup", "Library block ", libName,
                   " not found in specified library.")
diff --git a/src/leon/src/readpar.c b/src/leon/src/readpar.c
index 9845ff7..52692e7 100644
--- a/src/leon/src/readpar.c
+++ b/src/leon/src/readpar.c
@@ -29,6 +29,7 @@ Partition *readPartition(
    Token token, saveToken;
    char inputBuffer[81];
    FILE *libFile;
+   char *rv;
 
    /* Open input file. */
    libFile = fopen( libFileName, "r");
@@ -47,7 +48,7 @@ Partition *readPartition(
       not found. */
    rewind( libFile);
    for (;;) {
-      fgets( inputBuffer, 80, libFile);
+      rv = fgets( inputBuffer, 80, libFile);
       if ( feof(libFile) )
          ERROR1s( "readPartition", "Library block ", libName,
                   " not found in specified library.")
diff --git a/src/leon/src/readper.c b/src/leon/src/readper.c
index 2418b3a..02a940e 100644
--- a/src/leon/src/readper.c
+++ b/src/leon/src/readper.c
@@ -32,7 +32,8 @@ Permutation *readPermutation(
    Token token, saveToken;
    char inputBuffer[81];
    FILE *libFile;
-
+   char *rv;
+   
    /* Open input file. */
    libFile = fopen( libFileName, "r");
    if ( libFile == NULL )
@@ -50,7 +51,7 @@ Permutation *readPermutation(
       not found. */
    rewind( libFile);
    for (;;) {
-      fgets( inputBuffer, 80, libFile);
+      rv = fgets( inputBuffer, 80, libFile);
       if ( feof(libFile) )
          ERROR1s( "readPermutation", "Library block ", libName,
                   " not found in specified library.")
diff --git a/src/leon/src/readpts.c b/src/leon/src/readpts.c
index 7653ff6..2aaf51b 100644
--- a/src/leon/src/readpts.c
+++ b/src/leon/src/readpts.c
@@ -30,7 +30,8 @@ PointSet *readPointSet(
    Token token, saveToken;
    char inputBuffer[81];
    FILE *libFile;
-
+   char *rv;
+   
    /* Open input file. */
    libFile = fopen( libFileName, "r");
    if ( libFile == NULL )
@@ -48,7 +49,7 @@ PointSet *readPointSet(
       not found. */
    rewind( libFile);
    for (;;) {
-      fgets( inputBuffer, 80, libFile);
+      rv = fgets( inputBuffer, 80, libFile);
       if ( feof(libFile) )
          ERROR1s( "readPointSet", "Library block ", libName,
                   " not found in specified library.")