From 44c0386c780208be11ba9462b6e104c560916aa8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Thu, 20 Mar 2025 15:36:05 +0100
Subject: [PATCH] Adapt to coq/coq#20371 (Nametab.dirpath_of_module ->
 path_of_module)

---
 graphdepend.mlg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/graphdepend.mlg b/graphdepend.mlg
index 0b4a1e8dc..f0e01540b 100644
--- a/graphdepend.mlg
+++ b/graphdepend.mlg
@@ -257,7 +257,7 @@ let file_graph_depend dirlist =
     Out.file graph
 
 let locate_mp_dirpath qid =
-  try Nametab.dirpath_of_module (Nametab.locate_module qid)
+  try Nametab.path_of_module (Nametab.locate_module qid)
   with Not_found ->
     let msg = str "Unknown module" ++ spc() ++ Libnames.pr_qualid qid in
     CErrors.user_err ?loc:qid.CAst.loc msg