diff options
Diffstat (limited to 'tools/coqdep_common.mli')
| -rw-r--r-- | tools/coqdep_common.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/coqdep_common.mli b/tools/coqdep_common.mli index 3c1cd4fbec..9a10be3178 100644 --- a/tools/coqdep_common.mli +++ b/tools/coqdep_common.mli @@ -23,13 +23,13 @@ val mliAccu : (string * dir) list ref val mllibAccu : (string * dir) list ref val vAccu : (string * string) list ref val addQueue : 'a list ref -> 'a -> unit -val add_ml_known : string -> dir -> unit +val add_ml_known : string -> dir -> string -> unit val iter_ml_known : (string -> dir -> unit) -> unit val search_ml_known : string -> dir option -val add_mli_known : string -> dir -> unit +val add_mli_known : string -> dir -> string -> unit val iter_mli_known : (string -> dir -> unit) -> unit val search_mli_known : string -> dir option -val add_mllib_known : string -> dir -> unit +val add_mllib_known : string -> dir -> string -> unit val search_mllib_known : string -> dir option val vKnown : (string list, string) Hashtbl.t val coqlibKnown : (string list, unit) Hashtbl.t |