From 39d0a8aa8664b9296645a4b69f639179a7224efd Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Mon, 4 Nov 2024 10:29:14 +0200
Subject: [PATCH] Use HM.exists instead of HM.fold in td3 (closes #1618)

---
 src/solver/td3.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver/td3.ml b/src/solver/td3.ml
index 049dce2a0d..3cab3cf7f7 100644
--- a/src/solver/td3.ml
+++ b/src/solver/td3.ml
@@ -49,7 +49,7 @@ module Base =
     open SolverBox.Warrow (S.Dom)
     include Generic.SolverStats (S) (HM)
     module VS = Set.Make (S.Var)
-    let exists_key f hm = HM.fold (fun k _ a -> a || f k) hm false
+    let exists_key f hm = HM.exists (fun k _ -> f k) hm
 
     type solver_data = {
       st: (S.Var.t * S.Dom.t) list; (* needed to destabilize start functions if their start state changed because of some changed global initializer *)