From 8982bf58cb8c801bdd6e204d73ac6ed36d98adaa Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 29 Jul 2012 22:31:00 -0700
Subject: Reducing memory usage in proof-based abstraction.

---
 src/misc/vec/vecSet.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/misc/vec')

diff --git a/src/misc/vec/vecSet.h b/src/misc/vec/vecSet.h
index c96636f8..40318b48 100644
--- a/src/misc/vec/vecSet.h
+++ b/src/misc/vec/vecSet.h
@@ -168,12 +168,14 @@ static inline void Vec_SetRestart( Vec_Set_t * p )
 static inline void Vec_SetFree_( Vec_Set_t * p )
 {
     int i;
+    if ( p == NULL ) return;
     for ( i = 0; i < p->nPagesAlloc; i++ )
         ABC_FREE( p->pPages[i] );
     ABC_FREE( p->pPages );
 }
 static inline void Vec_SetFree( Vec_Set_t * p )
 {
+    if ( p == NULL ) return;
     Vec_SetFree_( p );
     ABC_FREE( p );
 }
-- 
cgit v1.2.3