From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 21 Sep 2021 00:23:43 +0000 (-0700)
Subject: README: Fix link to INSTALL.rst. (#7222)
X-Git-Tag: cvc5-1.0.0~1189
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4a24a22cf0aa633ac4d7c9b14b310ff798c5e3d1;p=cvc5.git

README: Fix link to INSTALL.rst. (#7222)
---

diff --git a/README.md b/README.md
index f61d02066..254034811 100644
--- 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