From e7ecaee92d7b65752b140cbadcb8b05e01231c92 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 5 Feb 2023 14:41:18 -0800
Subject: [PATCH] Bug fix in supergate generation.

---
 src/map/super/superGate.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/map/super/superGate.c b/src/map/super/superGate.c
index 82c928a7a..6c4731107 100644
--- a/src/map/super/superGate.c
+++ b/src/map/super/superGate.c
@@ -147,9 +147,12 @@ void Super_Precompute( Mio_Library_t * pLibGen, int nVarsMax, int nLevels, int n
         return;
     }
     vStr = Super_PrecomputeStr( pLibGen, nVarsMax, nLevels, nGatesMax, tDelayMax, tAreaMax, TimeLimit, fSkipInv, fVerbose );
-    fwrite( Vec_StrArray(vStr), 1, Vec_StrSize(vStr), pFile );
+    if ( vStr ) 
+    {
+        fwrite( Vec_StrArray(vStr), 1, Vec_StrSize(vStr), pFile );
+        Vec_StrFree( vStr );
+    }
     fclose( pFile );
-    Vec_StrFree( vStr );
     // report the result of writing
     if ( fVerbose )
     {