summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlasdair Armstrong2020-10-29 18:08:42 +0000
committerGitHub2020-10-29 18:08:42 +0000
commit29137641777155badb5863fd38ecb422e23cd1ca (patch)
treea012c58b9cc22054e7bf8c89cbdd15a9a86a25cd
parente3ec9f9adf5b16ca790fffe034c85be47351232c (diff)
Update INSTALL.md
-rw-r--r--INSTALL.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md
index 64a16d13..bfbe301e 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -5,7 +5,7 @@ manager e.g. `sudo apt-get install opam` (on Ubuntu 20.04) or follow the [instru
from the opam website](https://opam.ocaml.org/doc/Install.html).
The opam version must be >= 2.0; opam 1 versions are no longer supported. On older Ubuntu versions you will not be able to use opam from the package manager, and will need to install it following the instructions on the opam website.
-Use `ocaml -version` to check your OCaml version. If have OCaml 4.06.1 or newer, that's fine, otherwise use `opam switch` to install 4.06.1:
+Use `ocaml -version` to check your OCaml version. If you have OCaml 4.06.1 or newer, that's fine, otherwise use `opam switch` to install 4.06.1:
```
opam switch create 4.06.1
```