summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2017-02-11 15:40:53 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2017-02-11 15:40:53 -0800
commit7b7ebf91e458271b5979a3464b25faae5a5e4a6a (patch)
tree5adf481bcb4889998c22b2db08de26d55366d1e5
parentf6193c0d45406e863e7efe3e092e0284d86adb9b (diff)
downloadabc-7b7ebf91e458271b5979a3464b25faae5a5e4a6a.tar.gz
abc-7b7ebf91e458271b5979a3464b25faae5a5e4a6a.tar.bz2
abc-7b7ebf91e458271b5979a3464b25faae5a5e4a6a.zip
Compiler warning.
-rw-r--r--src/aig/ivy/ivyFraig.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/ivy/ivyFraig.c b/src/aig/ivy/ivyFraig.c
index 059f4c0e..d9887d74 100644
--- a/src/aig/ivy/ivyFraig.c
+++ b/src/aig/ivy/ivyFraig.c
@@ -2081,7 +2081,7 @@ void Ivy_FraigPrintActivity( Ivy_FraigMan_t * p )
{
int i;
for ( i = 0; i < p->nSatVars; i++ )
- printf( "%d %d ", i, p->pSat->activity[i] );
+ printf( "%d %d ", i, (int)p->pSat->activity[i] );
printf( "\n" );
}