diff options
author | mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu> | 2020-02-04 12:52:33 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-04 12:52:33 -0600 |
commit | 8eb622141694ecd8e31ad193f775b963d3fe8f5d (patch) | |
tree | 8ed5bdbc62dd77153281f5bd06a6bbf30d450e0b /INSTALL.md | |
parent | ebcdf229513341d7c0636e0e7171e916ce56d536 (diff) |
Update INSTALL.md (#3714)
Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md index 491dbbb43..17d31fe1a 100644 --- 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) |