diff options
Diffstat (limited to 'doc/libcvc4.3.in')
-rw-r--r-- | doc/libcvc4.3.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/libcvc4.3.in b/doc/libcvc4.3.in index bf5fde577..279c18954 100644 --- a/doc/libcvc4.3.in +++ b/doc/libcvc4.3.in @@ -57,8 +57,7 @@ is used primarily to make assertions, check satisfiability/validity, and extract .SH "SEE ALSO" .BR cvc4 (1), -.BR libcvc4parser (3), -.BR libcvc4compat (3) +.BR libcvc4parser (3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at |