From d9fdd10960744034bac5da285e221513d4438b75 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 5 Dec 2016 19:54:17 -0800
Subject: Bug fix in Liberty parser.

---
 src/map/scl/sclLiberty.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/map/scl/sclLiberty.c b/src/map/scl/sclLiberty.c
index 2b2e77e9..50e69d08 100644
--- a/src/map/scl/sclLiberty.c
+++ b/src/map/scl/sclLiberty.c
@@ -1614,10 +1614,14 @@ Vec_Str_t * Scl_LibertyReadSclStr( Scl_Tree_t * p, int fVerbose, int fVeryVerbos
         Vec_Flt_t * vArray;
         assert( Vec_PtrSize(vTemples) % 4 == 0 );
         Vec_PtrForEachEntry( Vec_Flt_t *, vTemples, vArray, i )
+        {
+            if ( vArray == NULL )
+                continue;
             if ( i % 4 == 0 )
                 ABC_FREE( vArray );
             else if ( i % 4 == 2 || i % 4 == 3 )
                 Vec_FltFree( vArray );
+        }
         Vec_PtrFree( vTemples );
     }
     if ( fVerbose )
-- 
cgit v1.2.3