diff options
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md index 98cef2061..dc0de6cb4 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -151,7 +151,8 @@ provided with CVC4. ### CxxTest Unit Testing Framework (Unit Tests) [CxxTest](http://cxxtest.com) is required to optionally run CVC4's unit tests -(included with the distribution). See [Testing](testing) below for more details. +(included with the distribution). +See [Testing CVC4](#Testing-CVC4) below for more details. ## Building CVC4 |