From 7f112787057a1524df78b682b20dbdfbd2578100 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 30 Mar 2013 12:30:04 -0700
Subject: Compiler warnings.

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

(limited to 'src/aig')

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index dc16b886..0b6cc9ae 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -1147,7 +1147,6 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp )
     assert( pPars->pTimesReq == NULL );
     if ( p->pManTime )
     {
-        Vec_Flt_t * vArrTimes = NULL, * vReqTimes = NULL;
         pNew = Gia_ManDupUnnormalize( p );
         if ( pNew == NULL )
             return NULL;
-- 
cgit v1.2.3