diff options
Diffstat (limited to 'lib/envars.mli')
| -rw-r--r-- | lib/envars.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/envars.mli b/lib/envars.mli index edd13447f..18b7676ce 100644 --- a/lib/envars.mli +++ b/lib/envars.mli @@ -53,7 +53,7 @@ val coqroot : string the order it gets added to the search path. *) val coqpath : string list -(** [camlbin ()] is the path to the ocamlfind binary. *) +(** [camlfind ()] is the path to the ocamlfind binary. *) val ocamlfind : unit -> string (** [camlp4bin ()] is the path to the camlp4 binary. *) |