fix: update bench/search.ml to the new API of Db

Drup · Nov 4, 2024 · 352b04f · 352b04f
1 parent e1e2f4d
commit 352b04f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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 =