From 9c6b492355d82b6346176d884f593bbbf5bde67f Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Mon, 19 Jun 2017 13:32:40 +0200 Subject: Fix typo in comment. --- lib/envars.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/envars.mli') 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. *) -- cgit v1.2.3