diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index 475d13ec3..237eec944 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -82,9 +82,12 @@ char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc )
     return line;
     }
 #else
+    {
+    char * pRetValue;
     fprintf( pAbc->Out, "%s", Prompt );
-    fgets( Prompt, 5000, stdin );
+    pRetValue = fgets( Prompt, 5000, stdin );
     return Prompt;
+    }
 #endif
 }
 
diff --git a/src/map/mapper/mapperLib.c b/src/map/mapper/mapperLib.c
index 91ba6dcc1..1d62bc327 100644
--- a/src/map/mapper/mapperLib.c
+++ b/src/map/mapper/mapperLib.c
@@ -200,7 +200,6 @@ void Map_SuperLibFree( Map_SuperLib_t * p )
 int Map_SuperLibDeriveFromGenlib( Mio_Library_t * pLib, int fVerbose )
 {
     Map_SuperLib_t * pLibSuper;
-    Abc_Frame_t * pAbc = Abc_FrameGetGlobalFrame();
     Vec_Str_t * vStr;
     char * pFileName;
     if ( pLib == NULL )