projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3a0fc2e)
README: Fix link to INSTALL.rst. (#7222)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 21 Sep 2021 00:23:43 +0000 (17:23 -0700)
committerGitHub <noreply@github.com>
Tue, 21 Sep 2021 00:23:43 +0000 (00:23 +0000)
README.md patch | blob | history

diff --git a/README.md b/README.md
index f61d02066a0cc32e242ef429cb021eddcced2e5a..254034811f1ff1acc361f738bacaf186c8a0cba3 100644 (file)
--- a/README.md
+++ b/README.md
@@ -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