diff --git a/test/logic_opt/ReductionOptTests.cpp b/test/logic_opt/ReductionOptTests.cpp
index 7a9cc685..c56a8fa4 100644
--- a/test/logic_opt/ReductionOptTests.cpp
+++ b/test/logic_opt/ReductionOptTests.cpp
@@ -434,6 +434,7 @@ TEST_F(ReductionOptTests, testTruthTablesMap) {
   }
   NetlistStatistics netlistStats(*get());
   netlistStats.process();
+  destroy();
   printf("Netlist statistics: %s\n", netlistStats.getReport().c_str());
 }