diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coqdep_common.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/coqdep_common.ml b/tools/coqdep_common.ml index 8e2159745d..c111137571 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 -> |