diff options
Diffstat (limited to 'src/map/if/ifTune.c')
| -rw-r--r-- | src/map/if/ifTune.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index defafcb4..f87d7c11 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -740,7 +740,7 @@ int If_ManSatDeriveGiaFromBits( void * pGia, Ifn_Ntk_t * p, Vec_Int_t * vValues, int Type = p->Nodes[i].Type; int nFans = p->Nodes[i].nFanins; int * pFans = p->Nodes[i].Fanins; - int iFanin = p->Nodes[i].iFirst; + //int iFanin = p->Nodes[i].iFirst; assert( nFans <= 6 ); if ( Type == IFN_DSD_AND ) { |