summaryrefslogtreecommitdiff
path: root/INSTALL.md
diff options
context:
space:
mode:
authorAlasdair Armstrong2020-10-29 18:08:42 +0000
committerGitHub2020-10-29 18:08:42 +0000
commit29137641777155badb5863fd38ecb422e23cd1ca (patch)
treea012c58b9cc22054e7bf8c89cbdd15a9a86a25cd /INSTALL.md
parente3ec9f9adf5b16ca790fffe034c85be47351232c (diff)
Update INSTALL.md
Diffstat (limited to '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
```