From 97856d021a1282cf3fb9a86701fff3ec403fe912 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 16 Feb 2012 23:40:23 -0800
Subject: Silencing some of the gcc warnings.

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

(limited to 'src/aig/ivy')

diff --git a/src/aig/ivy/ivyFraig.c b/src/aig/ivy/ivyFraig.c
index 180827b8..26adb84c 100644
--- a/src/aig/ivy/ivyFraig.c
+++ b/src/aig/ivy/ivyFraig.c
@@ -2076,7 +2076,7 @@ void Ivy_FraigPrintActivity( Ivy_FraigMan_t * p )
 {
     int i;
     for ( i = 0; i < p->nSatVars; i++ )
-        printf( "%d %.3f  ", i, (double)p->pSat->activity[i] );
+        printf( "%d %d  ", i, p->pSat->activity[i] );
     printf( "\n" );
 }
 
-- 
cgit v1.2.3