From 303baf27cf34c2a57db97c4c567fd744241fa14b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 2 Jul 2008 08:01:00 -0700
Subject: Version abc80702

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

(limited to 'src/aig/saig/saigScl.c')

diff --git a/src/aig/saig/saigScl.c b/src/aig/saig/saigScl.c
index 67e3e95b..6d55943a 100644
--- a/src/aig/saig/saigScl.c
+++ b/src/aig/saig/saigScl.c
@@ -82,7 +82,7 @@ void Saig_ManReportUselessRegisters( Aig_Man_t * pAig )
 int Saig_ManReportComplements( Aig_Man_t * p )
 {
     Aig_Obj_t * pObj, * pFanin;
-    int i, Counter = 0, Diffs = 0;
+    int i, Counter = 0;
     assert( Aig_ManRegNum(p) > 0 );
     Aig_ManForEachObj( p, pObj, i )
         assert( !pObj->fMarkA );
-- 
cgit v1.2.3