summaryrefslogtreecommitdiffstats
path: root/src/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-03-30 12:30:04 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-03-30 12:30:04 -0700
commit7f112787057a1524df78b682b20dbdfbd2578100 (patch)
treef9742d5095f8b1a7aa87e7cb3c25edf3e2b91c56 /src/aig
parentd3a4dce10e89fa86f0feb2a7b53debdaa60fa3e4 (diff)
downloadabc-7f112787057a1524df78b682b20dbdfbd2578100.tar.gz
abc-7f112787057a1524df78b682b20dbdfbd2578100.tar.bz2
abc-7f112787057a1524df78b682b20dbdfbd2578100.zip
Compiler warnings.
Diffstat (limited to 'src/aig')
-rw-r--r--src/aig/gia/giaIf.c1
1 files changed, 0 insertions, 1 deletions
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;