Compiler warnings.

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
 }
 

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 )