From 455e0bae3e1b40a1777b5f3103bff26b6bcefac3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 23 Oct 2018 15:21:19 +0700
Subject: Fix timing info communication in GIA APIs.

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

(limited to 'src/aig/gia/giaIf.c')

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 33c7d574..6cb76ba1 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -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 )
     {
-- 
cgit v1.2.3