From 0d24b4e4cab591e0b39862f5e4abd6f37725469a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 18 Nov 2019 22:29:09 +0800
Subject: Bug fix in parsing hierarchical BLIF with mapping.

---
 src/aig/gia/giaUtil.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig')

diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index 79c4758d..ad89dfe8 100644
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -2377,6 +2377,8 @@ void Gia_ManDumpFiles( Gia_Man_t * p, int nCexesT, int nCexesV )
 
         Vec_BitFree( vBitX );
         Vec_BitFree( vBitY );
+
+        Res = 0;
     }
 }
 
-- 
cgit v1.2.3