From 352b04fa2f1903d996e2a9641a39636fc3e08741 Mon Sep 17 00:00:00 2001
From: Fardale <fardale+git@crans.org>
Date: Mon, 4 Nov 2024 11:56:35 +0100
Subject: [PATCH] =?UTF-8?q?fix:=20update=20bench/search.ml=20to=20the=20ne?=
 =?UTF-8?q?w=20API=C2=A0of=20Db?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 bench/search.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bench/search.ml b/bench/search.ml
index 0cc5e07..3db9590 100644
--- a/bench/search.ml
+++ b/bench/search.ml
@@ -32,15 +32,15 @@ let () =
       @@ Index_not_found (Fmt.str "cannot open index file `%a'" Fpath.pp path)
   in
   let search_exhaustive ty =
-    let it = Db.find_exhaustive idx env ty in
+    let it = Db.find ~filter:`None idx env ty in
     Iter.max it
   in
   let search_trie ty =
-    let it = Db.find_with_trie idx env ty in
+    let it = Db.find ~filter:`OnlyTrie idx env ty in
     Iter.max it
   in
   let search_trie_poset ty =
-    let it = Db.find idx env ty in
+    let it = Db.find ~filter:`Default idx env ty in
     Iter.max it
   in
   let make_res ty =