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;
 }