From 1e34a38b1666ee94cd4441c4889bb412bc813eba Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 19 May 2013 22:14:50 -0700
Subject: g++ warnings.

---
 src/proof/ssc/sscSim.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/ssc/sscSim.c')

diff --git a/src/proof/ssc/sscSim.c b/src/proof/ssc/sscSim.c
index ae9a3eec..011e886a 100644
--- a/src/proof/ssc/sscSim.c
+++ b/src/proof/ssc/sscSim.c
@@ -179,7 +179,7 @@ void Ssc_GiaPrintPiPatterns( Gia_Man_t * p )
 {
     Gia_Obj_t * pObj;
     word * pSimAig;
-    int i, nWords = Gia_ObjSimWords( p );
+    int i;//, nWords = Gia_ObjSimWords( p );
     Gia_ManForEachCi( p, pObj, i )
     {
         pSimAig = Gia_ObjSimObj( p, pObj );
-- 
cgit v1.2.3