Merge PR #6837: [located] Push inner locations in reference to a CAst.t node.

1 files changed, 1 insertions, 1 deletions

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index 541da3b6d5..6b7efc839e 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -289,7 +289,7 @@ let pattern_of_string ?env s =
 let dirpath_of_string_list s =
   let path = String.concat "." s in
   let m = Pcoq.parse_string Pcoq.Constr.global path in
-  let (_, qid) = Libnames.qualid_of_reference m in
+  let {CAst.v=qid} = Libnames.qualid_of_reference m in
   let id =
     try Nametab.full_name_module qid
     with Not_found ->