diff options
Diffstat (limited to 'doc/libcvc4parser.3.in')
| -rw-r--r-- | doc/libcvc4parser.3.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/libcvc4parser.3.in b/doc/libcvc4parser.3.in index 7971a8822..f288daf83 100644 --- a/doc/libcvc4parser.3.in +++ b/doc/libcvc4parser.3.in @@ -7,8 +7,7 @@ libcvc4parser \- a parser library interface for the CVC4 theorem prover .SH DESCRIPTION .SH "SEE ALSO" .BR cvc4 (1), -.BR libcvc4 (3), -.BR libcvc4compat (3) +.BR libcvc4 (3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at |