From 8453afcf8b44461c518a44c050fd13fe466c303a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 15 Mar 2015 13:27:07 +0700
Subject: Enable arrival/required times in &nf.

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

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

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index fea46954..8a45701d 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -2031,6 +2031,11 @@ void Gia_ManTransferPacking( Gia_Man_t * p, Gia_Man_t * pGia )
 }
 void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia )
 {
+    if ( pGia->vInArrs || pGia->vOutReqs )
+    {
+        p->vInArrs     = pGia->vInArrs;     pGia->vInArrs     = NULL;
+        p->vOutReqs    = pGia->vOutReqs;    pGia->vOutReqs    = NULL;
+    }
     if ( pGia->pManTime == NULL || p == pGia )
         return;
     p->pManTime    = pGia->pManTime;    pGia->pManTime    = NULL;
-- 
cgit v1.2.3