diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-24 18:15:56 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-24 18:15:56 -0700 |
| commit | 75d509498c42f9433a778299cf27b6f915c7fd34 (patch) | |
| tree | 8422e7cbb088d6d98c6bbeb613a87ea4a77cd42e /doc | |
| parent | cf589cb256eeba427a08f2831a3fe46e9e52f095 (diff) | |
Fix wiki urls. (#2504)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/libcvc4.3.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/libcvc4.3.in b/doc/libcvc4.3.in index 279c18954..1db5b3c2d 100644 --- a/doc/libcvc4.3.in +++ b/doc/libcvc4.3.in @@ -61,4 +61,4 @@ is used primarily to make assertions, check satisfiability/validity, and extract Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at -.BR http://goedel.cs.stanford.edu/wiki/ . +.BR http://cvc4.cs.stanford.edu/wiki/ . |