From 4fdc21aaa280b7580590a98d27388a44cb86e8d4 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Thu, 5 Oct 2017 19:16:37 +0200
Subject: Fix typo in INSTALL

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
 =============================
-- 
cgit v1.2.3