diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-29 10:47:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-29 10:47:50 -0700 |
| commit | 8b26084e3ca98d38370f86f04df7e5e9729f417b (patch) | |
| tree | 99ecb8eb06c144da0a11b3176bb4771c531e1a58 /src/misc | |
| parent | ccaa96549ff1d5dabbd95fdce4777a104ea9c139 (diff) | |
| download | abc-8b26084e3ca98d38370f86f04df7e5e9729f417b.tar.gz abc-8b26084e3ca98d38370f86f04df7e5e9729f417b.tar.bz2 abc-8b26084e3ca98d38370f86f04df7e5e9729f417b.zip | |
Compiler warnings.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/extra/extraUtilSupp.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/misc/extra/extraUtilSupp.c b/src/misc/extra/extraUtilSupp.c index c42a35f6..a2e089bb 100644 --- a/src/misc/extra/extraUtilSupp.c +++ b/src/misc/extra/extraUtilSupp.c @@ -77,7 +77,7 @@ void Vec_IntUniqueProfile( Vec_Int_t * vData, int * pTable, int * pNexts, int Ta printf( "%d\n", Counter ); for ( Key = pTable[i]; Key != -1; Key = pNexts[Key] ) { - Extra_PrintBinary( stdout, Vec_IntEntryP(vData, Key*nIntSize), 40 ), printf( "\n" ); + Extra_PrintBinary( stdout, (unsigned *)Vec_IntEntryP(vData, Key*nIntSize), 40 ), printf( "\n" ); // Vec_IntUniqueHashKeyDebug( (unsigned char *)Vec_IntEntryP(vData, Key*nIntSize), 4*nIntSize, TableMask ); } } @@ -316,7 +316,7 @@ void Abc_SuppPrintMask( word uMask, int nBits ) { int i; for ( i = 0; i < nBits; i++ ) - printf( "%d", (uMask >> i) & 1 ); + printf( "%d", (int)((uMask >> i) & 1) ); printf( "\n" ); } void Abc_SuppGenProfile( Vec_Wrd_t * p, int nBits, int * pCounts ) @@ -646,7 +646,7 @@ int Abc_SuppSolve( Vec_Wrd_t * p, int nVars ) ***********************************************************************/ void Abc_SuppReadMinTest( char * pFileName ) { - int fVerbose = 0; +// int fVerbose = 0; abctime clk = Abc_Clock(); // word Matrix[64]; int nVars, nVarsMin; |