diff --git a/src/base/cmd/cmd.c b/src/base/cmd/cmd.c
index 161cd090a..e594c65ae 100644
--- a/src/base/cmd/cmd.c
+++ b/src/base/cmd/cmd.c
@@ -370,7 +370,7 @@ int CmdCommandHistory( Abc_Frame_t * pAbc, int argc, char **argv )
 //        iRepeat = atoi(argv[globalUtilOptind]);
     // print the commands
     if ( iRepeat >= 0 && iRepeat < Vec_PtrSize(pAbc->aHistory) )
-        fprintf( pAbc->Out, "%s", Vec_PtrEntry(pAbc->aHistory, Vec_PtrSize(pAbc->aHistory)-1-iRepeat) );
+        fprintf( pAbc->Out, "%s", (char *)Vec_PtrEntry(pAbc->aHistory, Vec_PtrSize(pAbc->aHistory)-1-iRepeat) );
     else if ( nPrints > 0 )
         Vec_PtrForEachEntryStart( char *, pAbc->aHistory, pName, i, Abc_MaxInt(0, Vec_PtrSize(pAbc->aHistory)-nPrints) )
             fprintf( pAbc->Out, "%2d : %s\n", Vec_PtrSize(pAbc->aHistory)-i, pName );
diff --git a/src/proof/fra/fraSim.c b/src/proof/fra/fraSim.c
index b85107d79..3b2fc219e 100644
--- a/src/proof/fra/fraSim.c
+++ b/src/proof/fra/fraSim.c
@@ -894,7 +894,7 @@ Vec_Str_t * Fra_SmlSimulateReadFile( char * pFileName )
             Vec_StrPush( vRes, (char)(c - '0') );
         else if ( c != ' ' && c != '\r' && c != '\n' && c != '\t' )
         {
-            printf( "File \"%s\" contains symbol (%c) other than \'0\' or \'1\'.\n", c );
+            printf( "File \"%s\" contains symbol (%c) other than \'0\' or \'1\'.\n", (char)c );
             Vec_StrFreeP( &vRes );
             break;
         }