diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-20 17:23:43 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-21 00:23:43 +0000 |
| commit | 4a24a22cf0aa633ac4d7c9b14b310ff798c5e3d1 (patch) | |
| tree | 8eebc6d9d32138a6c5de25647cd3d5ecf31b8506 /README.md | |
| parent | 3a0fc2e7f21d797b4f9f7f43a7f4331fec97e05d (diff) | |
README: Fix link to INSTALL.rst. (#7222)
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -58,7 +58,7 @@ cvc5 can be built on Linux and macOS. For Windows, cvc5 can be cross-compiled using Mingw-w64. For detailed build and installation instructions on these platforms, -see file [INSTALL.md](https://github.com/cvc5/cvc5/blob/master/INSTALL.md). +see file [INSTALL.rst](https://github.com/cvc5/cvc5/blob/master/INSTALL.rst). Bug Reports |