diff options
| author | Georgy Lukyanov | 2018-07-24 12:39:17 +0100 |
|---|---|---|
| committer | GitHub | 2018-07-24 12:39:17 +0100 |
| commit | d9d6069fc60f823a65951af38e3e88e75422bc82 (patch) | |
| tree | 8c50c88ec95a39d8d7c48fe944ccb52e23447888 /INSTALL.md | |
| parent | 8114501b7b956ee4a98fa8599c7efee62fc19206 (diff) | |
Fix a tiny typo in INSTALL.md
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |