From 7724dfcca212ae1fd43cb095d5d85fea85c07608 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 30 Mar 2016 21:51:50 -0700 Subject: Windowing for technology mapping. --- src/base/abci/abcCollapse.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/abci/abcCollapse.c') diff --git a/src/base/abci/abcCollapse.c b/src/base/abci/abcCollapse.c index 6a132518..25d78b04 100644 --- a/src/base/abci/abcCollapse.c +++ b/src/base/abci/abcCollapse.c @@ -750,7 +750,7 @@ Vec_Str_t * Abc_NtkClpGiaOne2( Cnf_Dat_t * pCnf, Gia_Man_t * p, int iCo, int nCu Gia_ManForEachCiVec( vSupp, p, pObj, i ) Vec_IntPush( vSuppObjs, Gia_ObjId(p, pObj) ); Gia_ManIncrementTravId( p ); - Gia_ManCollectAnds( p, &iCoObjId, 1, vAnds ); + Gia_ManCollectAnds( p, &iCoObjId, 1, vAnds, NULL ); assert( Vec_IntSize(vAnds) > 0 ); // pSat = Abc_NtkClpDeriveSatSolver( pCnf, iCoObjId, vSuppObjs, vAnds, vMap, &pSat1, &pSat2, &pSat3 ); pSat = Abc_NtkClpDeriveSatSolver( pCnf, iCoObjId, vSuppObjs, vAnds, vMap, NULL, NULL, NULL ); -- cgit v1.2.3