projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ebcdf22)
Update INSTALL.md (#3714)
authormudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Tue, 4 Feb 2020 18:52:33 +0000 (12:52 -0600)
committerGitHub <noreply@github.com>
Tue, 4 Feb 2020 18:52:33 +0000 (12:52 -0600)
Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
INSTALL.md patch | blob | history

diff --git a/INSTALL.md b/INSTALL.md
index 491dbbb438e38fa3150e6cf9154eb90684a22e45..17d31fe1a4ccb8b93cf9abfc246312eb54d732fa 100644 (file)
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -110,7 +110,7 @@ Configure CVC4 with `configure.sh --lfsc` to build with this dependency.
 ### SWIG >= 3.0.x (Simplified Wrapper and Interface Generator)
 
 SWIG 3.0.x (and a JDK) is necessary to build the Java API.
-See [Language Bindings](language-bindings) below for build instructions.
+See [Language Bindings](#language-bindings) below for build instructions.
 
 ### CLN >= v1.3 (Class Library for Numbers)