diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-19 22:14:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-19 22:14:50 -0700 |
| commit | 1e34a38b1666ee94cd4441c4889bb412bc813eba (patch) | |
| tree | d4d21c0ab10a2c6ccae6714e2c182bda106cb6bf /src/aig/aig | |
| parent | 6ad94cd988dba45747068625598b4dca96b5b34a (diff) | |
| download | abc-1e34a38b1666ee94cd4441c4889bb412bc813eba.tar.gz abc-1e34a38b1666ee94cd4441c4889bb412bc813eba.tar.bz2 abc-1e34a38b1666ee94cd4441c4889bb412bc813eba.zip | |
g++ warnings.
Diffstat (limited to 'src/aig/aig')
| -rw-r--r-- | src/aig/aig/aigRet.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/aig/aigRet.c b/src/aig/aig/aigRet.c index 1cf45ebe..c36e8709 100644 --- a/src/aig/aig/aigRet.c +++ b/src/aig/aig/aigRet.c @@ -277,7 +277,7 @@ void Rtm_ObjAddFirst2( Rtm_Man_t * p, Rtm_Edg_t * pEdge, Rtm_Init_t Val ) void Rtm_PrintEdge( Rtm_Man_t * p, Rtm_Edg_t * pEdge ) { // unsigned LData = pEdge->LData; - printf( "%d : ", pEdge->nLats ); + printf( "%d : ", (int)pEdge->nLats ); /* if ( pEdge->nLats > 10 ) Extra_PrintBinary( stdout, p->pExtra + pEdge->LData, 2*(pEdge->nLats+1) ); |