diff options
Diffstat (limited to 'src/proof/llb')
| -rw-r--r-- | src/proof/llb/llb2Flow.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/llb/llb2Flow.c b/src/proof/llb/llb2Flow.c index f82fcf58..a04998fc 100644 --- a/src/proof/llb/llb2Flow.c +++ b/src/proof/llb/llb2Flow.c @@ -523,7 +523,7 @@ void Llb_ManCutPrint( Aig_Man_t * p, Vec_Ptr_t * vLower, Vec_Ptr_t * vUpper ) ***********************************************************************/ void Llb_ManResultPrint( Aig_Man_t * p, Vec_Ptr_t * vResult ) { - Vec_Ptr_t * vLower, * vUpper; + Vec_Ptr_t * vLower, * vUpper = NULL; int i; Vec_PtrForEachEntryReverse( Vec_Ptr_t *, vResult, vLower, i ) { |