Merge pull request #121 from SkySkimmer/search-restr

Adapt to coq/coq#17928 (Search uses search_restriction instead of bool)
coq-community · Aug 16, 2023 · 3433d7e · 3433d7e
2 parents 8b42915 + 8aff39b
commit 3433d7e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/graphdepend.mlg b/graphdepend.mlg
@@ -27,7 +27,7 @@ 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 (dirlist, false) gref kind env (Evd.from_env env) constr then
+    if Search.module_filter (SearchInside dirlist) gref kind env (Evd.from_env env) constr then
     (debug (str "Select " ++ Printer.pr_global gref);
      selected_gref := gref::!selected_gref)
   in