From 40d9b5853b2849c3bf7e2157a4b4c6b798b043d5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 23 Sep 2012 18:34:10 -0700
Subject: Testing GIA with time manager.

---
 src/aig/aig/aigObj.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/aig/aig')

diff --git a/src/aig/aig/aigObj.c b/src/aig/aig/aigObj.c
index e1eab364..98025ae3 100644
--- a/src/aig/aig/aigObj.c
+++ b/src/aig/aig/aigObj.c
@@ -315,7 +315,6 @@ void Aig_ObjPatchFanin0( Aig_Man_t * p, Aig_Obj_t * pObj, Aig_Obj_t * pFaninNew
 ***********************************************************************/
 void Aig_ObjPrint( Aig_Man_t * p, Aig_Obj_t * pObj )
 {
-    int fHaig = 0;
     int fShowFanouts = 0;
     Aig_Obj_t * pTemp;
     if ( pObj == NULL )
-- 
cgit v1.2.3