From f3946eea93154683d07bf330049506c976c110bc Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 15 Jan 2019 18:59:34 -0800
Subject: Procedure to transform counter-examples (bug fix).

---
 src/base/wlc/wlcBlast.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/wlc')

diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c
index 37772104..8a9e8eb1 100644
--- a/src/base/wlc/wlcBlast.c
+++ b/src/base/wlc/wlcBlast.c
@@ -2225,7 +2225,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn )
                 for ( k = 0; k < nRange; k++ )
                 {
                     char Buffer[1000];
-                    sprintf( Buffer, "%s_in[%d]", pName, Wlc_NtkObj(p, iFanin)->Beg+k );
+                    sprintf( Buffer, "%s_in[%d]", pName, pObj->Beg+k );
                     Vec_PtrPush( pNew->vNamesOut, Abc_UtilStrsav(Buffer) );
                 }
         }
-- 
cgit v1.2.3