diff options
Diffstat (limited to 'doc/options.3cvc_template.in')
| -rw-r--r-- | doc/options.3cvc_template.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/options.3cvc_template.in b/doc/options.3cvc_template.in index 477963036..7eb472a32 100644 --- a/doc/options.3cvc_template.in +++ b/doc/options.3cvc_template.in @@ -35,8 +35,7 @@ See the AUTHORS file in the distribution for a full list of contributors. .SH "SEE ALSO" .BR libcvc4 (3), -.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 |