From d9d6069fc60f823a65951af38e3e88e75422bc82 Mon Sep 17 00:00:00 2001
From: Georgy Lukyanov
Date: Tue, 24 Jul 2018 12:39:17 +0100
Subject: Fix a tiny typo in INSTALL.md

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

diff --git a/INSTALL.md b/INSTALL.md
index f459c238..7a8a387b 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -32,7 +32,7 @@ We now need ocamlbuild, zarith, and menhir from OPAM.
 ```
 opam install ocamlbuild
 opam install zarith
-opem install menhir
+opam install menhir
 ```
 
 Ott
-- 
cgit v1.2.3