diff options
| author | Robert Norton | 2019-12-04 16:01:04 +0000 |
|---|---|---|
| committer | GitHub | 2019-12-04 16:01:04 +0000 |
| commit | 4d3c99561eed6016d5f85502ab188be6a80a27c2 (patch) | |
| tree | da0250868a1ee768b29b563735e926962451ba9f /INSTALL.md | |
| parent | 2272a21a7acb1cf8104e069a4ec68d4fe881c046 (diff) | |
Another word.
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -41,7 +41,7 @@ If all goes well then you'll have sail in your path: which sail sail --help ``` -Some source files that sail uses are found in at ``opam config var sail:share`` (e.g. for ``$include <foo.sail>``) but sail should find those when it needs them. +Some source files that sail uses are found at ``opam config var sail:share`` (e.g. for ``$include <foo.sail>``) but sail should find those when it needs them. ### Installing development versions of Sail Released Sail packages lag behind the latest development in the repository. If you find you need a recently added feature or bug fix you can use opam pin to install the latest version of Sail from the repository. Assuming you have previously followed the above instructions (required to install dependencies): |