From e22f5d1246c18dac711f2b6f6dc74d91ff3af3e5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 13:21:54 -0700
Subject: Bug fix in &gla_refine.

---
 src/opt/nwk/nwkAig.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/opt/nwk/nwkAig.c b/src/opt/nwk/nwkAig.c
index 3dc47dda..ec5b43b1 100644
--- a/src/opt/nwk/nwkAig.c
+++ b/src/opt/nwk/nwkAig.c
@@ -175,7 +175,10 @@ Nwk_Man_t * Nwk_ManCreateFromGia( Gia_Man_t * p, Vec_Int_t * vPPis, Vec_Int_t *
         Vec_IntPush( vMaps, Gia_ObjId(p,pObj) );
     }
     for ( i = Vec_IntSize(vLeaves); i < Vec_IntSize(vPPis); i++ )
+    {
         Nwk_ManCreateCi( pNtk, 0 );
+        Vec_IntPush( vMaps, -1 );
+    }
     Gia_ManForEachObjVec( vNodes, p, pObj, i )
     {
         ppCopies[Gia_ObjId(p,pObj)] = Nwk_ManCreateNode( pNtk, 2, Gia_ObjRefs(p,pObj) );
-- 
cgit v1.2.3