diff options
| author | Alasdair Armstrong | 2018-05-30 16:58:54 +0100 |
|---|---|---|
| committer | GitHub | 2018-05-30 16:58:54 +0100 |
| commit | 9d9e60cd633b8ab13a4fd721d2a242fe57caf014 (patch) | |
| tree | 0b65934c4aecbc309e572a10e79eb7b60b373726 /INSTALL.md | |
| parent | 0f1f769830d320ee7263e5ad04b5c4a554491b83 (diff) | |
Fix typo in install instructions
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |