From 4a24a22cf0aa633ac4d7c9b14b310ff798c5e3d1 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 20 Sep 2021 17:23:43 -0700 Subject: [PATCH] README: Fix link to INSTALL.rst. (#7222) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2