diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-30 18:06:42 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-30 18:06:42 -0700 |
commit | e76b7ba0ccb0ddb61832727e40a2c7b2318e0244 (patch) | |
tree | c0bf1ea981be3cbd45e9ec91ce417d07001d8e99 /src/misc | |
parent | 674bcbee379b9dcef418ddb62655ee0d3d59f96c (diff) | |
download | abc-e76b7ba0ccb0ddb61832727e40a2c7b2318e0244.tar.gz abc-e76b7ba0ccb0ddb61832727e40a2c7b2318e0244.tar.bz2 abc-e76b7ba0ccb0ddb61832727e40a2c7b2318e0244.zip |
Compiler warnings.
Diffstat (limited to 'src/misc')
-rw-r--r-- | src/misc/vec/vecInt.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index e482ef89..89a9096a 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -2267,18 +2267,18 @@ static inline Vec_Int_t * Vec_IntReadBin( char * pFileName, int fVerbose ) } if ( nSize % sizeof(int) > 0 ) { - printf( "Cannot read file with integers because it is not aligned at 4 bytes (remainder = %d).\n", nSize % sizeof(int) ); + printf( "Cannot read file with integers because it is not aligned at 4 bytes (remainder = %d).\n", (int)(nSize % sizeof(int)) ); fclose( pFile ); return NULL; } rewind( pFile ); - p = Vec_IntStart( nSize/sizeof(int) ); + p = Vec_IntStart( (int)(nSize/sizeof(int)) ); RetValue = fread( Vec_IntArray(p), 1, nSize, pFile ); fclose( pFile ); if ( RetValue != nSize ) printf( "Error reading data from file.\n" ); if ( fVerbose ) - printf( "Read %d integers from file \"%s\".\n", nSize/sizeof(int), pFileName ); + printf( "Read %d integers from file \"%s\".\n", (int)(nSize/sizeof(int)), pFileName ); return p; } |