diff options
Diffstat (limited to 'src/aig/gia/giaAbsRef.c')
| -rw-r--r-- | src/aig/gia/giaAbsRef.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c index 4532a90b..e982ced3 100644 --- a/src/aig/gia/giaAbsRef.c +++ b/src/aig/gia/giaAbsRef.c @@ -207,7 +207,7 @@ void Rnm_ManCollect_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vObjs, int } void Rnm_ManCollect( Rnm_Man_t * p ) { - Gia_Obj_t * pObj; + Gia_Obj_t * pObj = NULL; int i; // mark const/PIs/PPIs Gia_ManIncrementTravId( p->pGia ); |