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 b70913274f1bffcd111bc0826916b389260b06ab..da40a1af1b56c4018815f54f4ff8cd3bdf53853f 100644 (file)
--- 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