From 6694add40f1fc90e32de57f19254e5dc78b89efb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 17 Mar 2023 09:54:46 +0700 Subject: [PATCH] Compiler warning. --- src/misc/vec/vecWrd.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h index e10ce8c56..f9fede188 100644 --- a/src/misc/vec/vecWrd.h +++ b/src/misc/vec/vecWrd.h @@ -1289,10 +1289,10 @@ static inline void Vec_WrdDumpBoolOne( FILE * pFile, word * pSim, int nBits, int int k; if ( fReverse ) for ( k = nBits-1; k >= 0; k-- ) - fprintf( pFile, "%d", (pSim[k/64] >> (k%64)) & 1 ); + fprintf( pFile, "%d", (int)((pSim[k/64] >> (k%64)) & 1) ); else for ( k = 0; k < nBits; k++ ) - fprintf( pFile, "%d", (pSim[k/64] >> (k%64)) & 1 ); + fprintf( pFile, "%d", (int)((pSim[k/64] >> (k%64)) & 1) ); fprintf( pFile, "\n" ); } static inline void Vec_WrdDumpBool( char * pFileName, Vec_Wrd_t * p, int nWords, int nBits, int fReverse, int fVerbose )