diff options
Diffstat (limited to 'doc/cvc4.5.in')
-rw-r--r-- | doc/cvc4.5.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/cvc4.5.in b/doc/cvc4.5.in index c8629bffa..d66110f63 100644 --- a/doc/cvc4.5.in +++ b/doc/cvc4.5.in @@ -13,8 +13,7 @@ to background theories of interest. .SH "SEE ALSO" .BR cvc4 (1), .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 |