Compiler warning.

7b7ebf91 · Alan Mishchenko · f6193c0d · 7b7ebf91
Commit 7b7ebf91 authored Feb 11, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/aig/ivy/ivyFraig.c
+1 -1

No files found.
--- 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" );
 }