From 26dc25b7f5e23689636b4d89b98281e821cf7fe8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 4 Oct 2015 09:51:57 -0700
Subject: Adding support for flop init-states in extended AIG.

---
 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 956d9d2d..8383433f 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -2062,6 +2062,7 @@ void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia )
     p->pManTime    = pGia->pManTime;    pGia->pManTime    = NULL;
     p->pAigExtra   = pGia->pAigExtra;   pGia->pAigExtra   = NULL;
     p->vRegClasses = pGia->vRegClasses; pGia->vRegClasses = NULL;
+    p->vRegInits   = pGia->vRegInits;   pGia->vRegInits = NULL;
     p->nAnd2Delay  = pGia->nAnd2Delay;  pGia->nAnd2Delay  = 0;
 }
 
-- 
cgit v1.2.3