diff options
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaIf.c | 1 |
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; |