diff options
| -rw-r--r-- | tools/coqdep.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/coqdep.ml b/tools/coqdep.ml index bfd0e9a070..e9226d3836 100644 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -38,9 +38,9 @@ let rec warning_mult suf iter = let add_coqlib_known phys_dir log_dir f = match get_extension f [".vo"] with | (basename,".vo") -> - let name = log_dir@[basename] in - Hashtbl.add coqlibKnown [basename] (); - Hashtbl.add coqlibKnown name () + let name = log_dir@[basename] in + let paths = suffixes name in + List.iter (fun f -> Hashtbl.add coqlibKnown f ()) paths | _ -> () let sort () = |