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/gia/giaMan.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/giaMan.c')

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index c5ded61b..80fcf896 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -260,7 +260,7 @@ void Gia_ManPrintObjClasses( Gia_Man_t * p )
 {
     Vec_Int_t * vSeens;  // objects seen so far
     Vec_Int_t * vAbs = p->vObjClasses;
-    int i, k, Entry, iStart, iStop, nFrames;
+    int i, k, Entry, iStart, iStop = -1, nFrames;
     int nObjBits, nObjMask, iObj, iFrame, nWords;
     unsigned * pInfo;
     int * pCountAll, * pCountUni;
-- 
cgit v1.2.3