diff options
Diffstat (limited to 'src/aig/gia/giaFront.c')
| -rw-r--r-- | src/aig/gia/giaFront.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaFront.c b/src/aig/gia/giaFront.c index 6f1ce5a7..6eb20635 100644 --- a/src/aig/gia/giaFront.c +++ b/src/aig/gia/giaFront.c @@ -67,7 +67,7 @@ void Gia_ManFrontTransform( Gia_Man_t * p ) Gia_Obj_t * pObj; int i, * pFrontToId; // mapping of nodes into frontier variables assert( p->nFront > 0 ); - pFrontToId = ABC_ALLOC( int, p->nFront ); + pFrontToId = ABC_FALLOC( int, p->nFront ); Gia_ManForEachObj( p, pObj, i ) { if ( Gia_ObjIsCo(pObj) ) |