From edc3a43946aed0861b1d8b63f3a087d2b8626b51 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Wed, 30 Aug 2023 16:14:45 +0200
Subject: [PATCH] Adapt to Coq PR #17987 which adds sigma to the API of search
 functions

---
 graphdepend.mlg | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/graphdepend.mlg b/graphdepend.mlg
index 053a513ee..6e6fa20db 100644
--- a/graphdepend.mlg
+++ b/graphdepend.mlg
@@ -26,12 +26,12 @@ let filename = ref "graph.dpd"
 
 let get_dirlist_grefs dirlist =
   let selected_gref = ref [] in
-  let select gref kind env constr =
-    if Search.module_filter (SearchInside dirlist) gref kind env (Evd.from_env env) constr then
+  let select gref kind env sigma constr =
+    if Search.module_filter (SearchInside dirlist) gref kind env sigma constr then
     (debug (str "Select " ++ Printer.pr_global gref);
      selected_gref := gref::!selected_gref)
   in
-    Search.generic_search (Global.env()) select;
+    Search.generic_search (Global.env()) (Evd.from_env (Global.env())) select;
     !selected_gref
 
 let is_prop gref id =