Skip to content
Permalink
Browse files

worded the readme changes better

  • Loading branch information...
mariari committed Oct 14, 2019
1 parent 67df869 commit ce425f045b8976ebc858fcbc7e638ccfb7cb41e3
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.md
@@ -42,7 +42,7 @@ See [CONTRIBUTING.md](./doc/CONTRIBUTING.md).

## Installation

Installing requires:
Requirements for installing:
- [Stack](https://haskellstack.org)
- [z3](https://github.com/Z3Prover/z3)
- [LLVM9](https://llvm.org/)

0 comments on commit ce425f0

Please sign in to comment.
You can’t perform that action at this time.