Fix timing info communication in GIA APIs.

This commit is contained in:
Alan Mishchenko 2018-10-23 15:21:19 +07:00
parent 2ef879e928
commit 455e0bae3e
1 changed files with 1 additions and 0 deletions

View File

@ -2132,6 +2132,7 @@ void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia )
p->vOutReqs = pGia->vOutReqs; pGia->vOutReqs = NULL;
p->DefInArrs = pGia->DefInArrs;
p->DefOutReqs = pGia->DefOutReqs;
p->And2Delay = pGia->And2Delay;
}
if ( pGia->vNamesIn || pGia->vNamesOut )
{