diff options
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index d64c53fa..d100b6c1 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -2063,7 +2063,7 @@ void Gia_AigerWriteLut( Gia_Man_t * p, char * pFileName ) ***********************************************************************/ void Gia_ManDetectMuxes( Gia_Man_t * p ) { - Gia_Obj_t * pObj, * pNodeT, * pNodeE; int i; + Gia_Obj_t * pObj = NULL, * pNodeT, * pNodeE; int i; Gia_ManForEachObj( p, pObj, i ); if ( Gia_ObjIsAnd(pObj) && Gia_ObjRecognizeMux(pObj, &pNodeT, &pNodeE) ) pObj->fMark0 = 1; |