diff options
| author | Alasdair Armstrong | 2018-07-24 18:31:03 +0100 |
|---|---|---|
| committer | GitHub | 2018-07-24 18:31:03 +0100 |
| commit | 4a2d0a9f0bcd6b3d0cfc6f35ddc0b6757fb5d5e2 (patch) | |
| tree | 2550f37a5703400eb82dc7a1b399c8529a8d8038 | |
| parent | 7cb3aa7b82423f1744d1006fc7c076aa2fcaf15a (diff) | |
| parent | d9d6069fc60f823a65951af38e3e88e75422bc82 (diff) | |
Merge pull request #16 from geo2a/sail2
Fix a tiny typo in 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 |