diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/base/cmd/cmd.c | 2 | ||||
-rw-r--r-- | src/proof/fra/fraSim.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/base/cmd/cmd.c b/src/base/cmd/cmd.c index 161cd090..e594c65a 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 b85107d7..3b2fc219 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; } |