From 7b7ebf91e458271b5979a3464b25faae5a5e4a6a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 11 Feb 2017 15:40:53 -0800
Subject: Compiler warning.

---
 src/aig/ivy/ivyFraig.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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" );
 }
 
-- 
cgit v1.2.3