From b3d81b5f76aa3673bb4c6e5c79056cfb4950082e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 21 Jan 2019 14:57:05 -0800 Subject: Exploring other ways of CEX writing. --- src/base/cba/cbaBlast.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/cba/cbaBlast.c') diff --git a/src/base/cba/cbaBlast.c b/src/base/cba/cbaBlast.c index 490a36eb..937b9b69 100644 --- a/src/base/cba/cbaBlast.c +++ b/src/base/cba/cbaBlast.c @@ -1013,7 +1013,7 @@ Gia_Man_t * Cba_NtkBlast( Cba_Ntk_t * p, int fSeq ) { Gia_ManSetRegNum( pNew, Vec_StrSize(vInit) ); Vec_StrPush( vInit, '\0' ); - pNew = Gia_ManDupZeroUndc( pTemp = pNew, Vec_StrArray(vInit), 0, 1 ); + pNew = Gia_ManDupZeroUndc( pTemp = pNew, Vec_StrArray(vInit), 0, 0, 1 ); Gia_ManDupRemapLiterals( vBits, pTemp ); Gia_ManStop( pTemp ); Vec_StrFreeP( &vInit ); -- cgit v1.2.3