From b9e0c95b690cf363f99b182ba8e7688aef091d95 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 9 Feb 2007 08:01:00 -0800
Subject: Version abc70209

---
 src/base/ver/verCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/ver')

diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c
index 9048337b..bbef90be 100644
--- a/src/base/ver/verCore.c
+++ b/src/base/ver/verCore.c
@@ -220,7 +220,7 @@ void Ver_ParseFreeData( Ver_Man_t * p )
     }
     if ( p->pDesign )
     {
-        Abc_LibFree( p->pDesign );
+        Abc_LibFree( p->pDesign, NULL );
         p->pDesign = NULL;
     }
 }
-- 
cgit v1.2.3