diff options
Diffstat (limited to 'src/base/abci/abcRr.c')
| -rw-r--r-- | src/base/abci/abcRr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcRr.c b/src/base/abci/abcRr.c index 9a670b67..52d1fd32 100644 --- a/src/base/abci/abcRr.c +++ b/src/base/abci/abcRr.c @@ -384,7 +384,7 @@ p->timeProve += Abc_Clock() - clk; ***********************************************************************/ int Abc_NtkRRUpdate( Abc_Ntk_t * pNtk, Abc_Obj_t * pNode, Abc_Obj_t * pFanin, Abc_Obj_t * pFanout ) { - Abc_Obj_t * pNodeNew, * pFanoutNew; + Abc_Obj_t * pNodeNew = NULL, * pFanoutNew = NULL; assert( pFanout == NULL ); assert( !Abc_ObjIsComplement(pNode) ); assert( !Abc_ObjIsComplement(pFanin) ); |