leak

Signed-off-by: James Cherry <cherry@parallaxsw.com>
2024-07-28 22:53:27 -07:00 · 2024-07-28 22:53:27 -07:00 · 071c655421
parent d315767d00
commit 071c655421
1 changed files with 1 additions and 0 deletions
--- a/search/Sim.cc
+++ b/search/Sim.cc
@ -148,6 +148,7 @@ Sim::funcBddSim(const FuncExpr *expr,
      }
    }
  }
+  delete pin_iter;
  return bdd;
 }