From 7e0eeba3e91cd5da029aaa6b9c86f7a13f505b88 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Wed, 28 Feb 2018 16:39:26 +0100
Subject: Add source (project file / command line) to project fields.

---
 tools/coqdep.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/coqdep.ml')

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 4569994b4..26a2b2696 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -464,7 +464,7 @@ let split_period = Str.split (Str.regexp (Str.quote "."))
 let treat_coqproject f =
   let open CoqProject_file in
   let project = read_project_file f in
-  List.iter (treat_file None) project.v_files
+  List.iter (fun f -> treat_file None f.thing) project.v_files
 
 let rec parse = function
   | "-c" :: ll -> option_c := true; parse ll
-- 
cgit v1.2.3