summaryrefslogtreecommitdiff
path: root/INSTALL.md
diff options
context:
space:
mode:
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 61469875..f459c238 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -51,7 +51,7 @@ cd ..
Lem
---
-If you are using OCaml 4.06, you'll need to run `opam install num` before building lem.cd
+If you are using OCaml 4.06, you'll need to run `opam install num` before building lem.
```
git clone git@github.com:rems-project/lem.git