1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/aig/aigMem.c b/src/aig/aig/aigMem.c
index 20663e6f..dab90777 100644
--- a/src/aig/aig/aigMem.c
+++ b/src/aig/aig/aigMem.c
@@ -232,7 +232,8 @@ void Aig_MmFixedRestart( Aig_MmFixed_t * p )
 {
     int i;
     char * pTemp;
-
+    if ( p->nChunks == 0 )
+        return;
     // deallocate all chunks except the first one
     for ( i = 1; i < p->nChunks; i++ )
         free( p->pChunks[i] );