From 5cec38e8a2fbe39c75404f249974227afc028f27 Mon Sep 17 00:00:00 2001
From: Gregory Malecha <gmalecha@cs.harvard.edu>
Date: Tue, 11 Aug 2015 12:44:29 -0700
Subject: report the full module path when reporting errors in coqdep

---
 tools/coqdep_common.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'tools')

diff --git a/tools/coqdep_common.ml b/tools/coqdep_common.ml
index 8e2159745..c11113757 100644
--- a/tools/coqdep_common.ml
+++ b/tools/coqdep_common.ml
@@ -373,6 +373,11 @@ let rec traite_fichier_Coq suffixe verbose f =
                     printf " %s%s" (canonize file_str) suffixe
                   with Not_found ->
 		    if verbose && not (is_in_coqlib ?from str) then
+		      let str =
+			match from with
+			  | None -> str
+			  | Some pth -> pth @ str
+		      in
                       warning_module_notfound f str
        		end) strl
 	  | Declare sl ->
-- 
cgit v1.2.3