summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaFrames.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2016-03-30 21:51:50 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2016-03-30 21:51:50 -0700
commit7724dfcca212ae1fd43cb095d5d85fea85c07608 (patch)
tree11a506b57cdcdf9391a398fcd40a70ae90c20fd0 /src/aig/gia/giaFrames.c
parent31430043c219a29bc261a28a909ecb284b67de60 (diff)
downloadabc-7724dfcca212ae1fd43cb095d5d85fea85c07608.tar.gz
abc-7724dfcca212ae1fd43cb095d5d85fea85c07608.tar.bz2
abc-7724dfcca212ae1fd43cb095d5d85fea85c07608.zip
Windowing for technology mapping.
Diffstat (limited to 'src/aig/gia/giaFrames.c')
-rw-r--r--src/aig/gia/giaFrames.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaFrames.c b/src/aig/gia/giaFrames.c
index ebe2c139..3b33e3de 100644
--- a/src/aig/gia/giaFrames.c
+++ b/src/aig/gia/giaFrames.c
@@ -706,7 +706,7 @@ void Gia_ManFraSupports( Gia_ManFra_t * p )
vIns = Vec_IntAlloc( 100 );
Gia_ManCollectCis( p->pAig, Vec_IntArray(vOuts), Vec_IntSize(vOuts), vIns );
vAnds = Vec_IntAlloc( 100 );
- Gia_ManCollectAnds( p->pAig, Vec_IntArray(vOuts), Vec_IntSize(vOuts), vAnds );
+ Gia_ManCollectAnds( p->pAig, Vec_IntArray(vOuts), Vec_IntSize(vOuts), vAnds, NULL );
Vec_PtrWriteEntry( p->vIns, f, vIns );
Vec_PtrWriteEntry( p->vAnds, f, vAnds );
Vec_PtrWriteEntry( p->vOuts, f, vOuts );