From 8be09b5b24ad5f6a09bbc0bc675ac0be241672ca Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 28 Feb 2022 09:09:07 +0100
Subject: VCD reader support by using external tool

---
 passes/sat/sim.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'passes')

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 1cd0a0338..bdec54a96 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1160,6 +1160,7 @@ struct SimWorker : SimShared
 			pool<Module*> wbmods;
 			top->writeback(wbmods);
 		}
+		delete fst;
 	}
 
 	void run_cosim_witness(Module *topmod)
-- 
cgit v1.2.3