From 6c01e8b9f040d591f72882aff08ed21446fbb567 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 27 Mar 2011 14:17:12 -0700
Subject: Fixed a number of small bugs and memory leaks.

---
 src/aig/gia/giaFront.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/giaFront.c')

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) )
-- 
cgit v1.2.3