diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-09-04 14:59:19 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-04 16:59:19 -0500 |
| commit | 747a9a248da073911e1c0da34c38f0648421a087 (patch) | |
| tree | 98449a71c66d0ad427b8c8dc6f0ed1b9fbccdfbe /doc/libcvc4parser.3.in | |
| parent | 29bf7d6a937ab50c4dd92a30d7beb36a4001ead6 (diff) | |
Remove CVC3 compatibility layer (#2418)
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 |