From: yoni206 <yoni206@users.noreply.github.com>
Date: Wed, 4 May 2022 20:35:32 +0000 (+0300)
Subject: fix link to `Testing cvc5` in `INSTALL.md` (#8675)
X-Git-Tag: cvc5-1.0.1~170
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab9a43da3cc47c469ea02417431879d4bfbd5709;p=cvc5.git

fix link to `Testing cvc5` in `INSTALL.md` (#8675)

The current link renders strangely and does not lead to the relevant subsection. This PR fixes that.
---

diff --git a/INSTALL.rst b/INSTALL.rst
index b70913274..da40a1af1 100644
--- a/INSTALL.rst
+++ b/INSTALL.rst
@@ -187,8 +187,9 @@ Google Test Unit Testing Framework (Unit Tests)
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 `Google Test <https://github.com/google/googletest>`_ is required to optionally
-run cvc5's unit tests (included with the distribution). See :ref:`Testing cvc5
-<testing-cvc5>` below for more details.
+run cvc5's unit tests (included with the distribution). 
+See `Testing cvc5 <#testing-cvc5>`_
+below for more details.
 
 
 Language bindings