diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-06-19 13:32:40 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-19 13:32:40 +0200 |
commit | 9c6b492355d82b6346176d884f593bbbf5bde67f (patch) | |
tree | 0b5c2bc7aa2ffb91945bf9b9c80266fa30198e9f /lib/envars.mli | |
parent | c68afe0da68a2653a47ac3ed2818886c1c338dda (diff) |
Fix typo in comment.
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. *) |