1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index b3ab33228..676a1f8ea 100644
--- a/INSTALL
+++ b/INSTALL
@@ -50,7 +50,7 @@ WHAT DO YOU NEED ?
 
    $ opam install ocamlfind camlp5 lablgtk-extras
 
-   should get you a reasonable Ocaml enviroment to compile Coq.
+   should get you a reasonable OCaml environment to compile Coq.
 
 QUICK INSTALLATION PROCEDURE.
 =============================