From 071c655421a0daf8eb1fda2bfe4d6673c5740f7b Mon Sep 17 00:00:00 2001
From: James Cherry <cherry@parallaxsw.com>
Date: Sun, 28 Jul 2024 22:53:27 -0700
Subject: [PATCH] leak

Signed-off-by: James Cherry <cherry@parallaxsw.com>
---
 search/Sim.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/search/Sim.cc b/search/Sim.cc
index 720a0811..f603880c 100644
--- a/search/Sim.cc
+++ b/search/Sim.cc
@@ -148,6 +148,7 @@ Sim::funcBddSim(const FuncExpr *expr,
       }
     }
   }
+  delete pin_iter;
   return bdd;
 }