diff options
Diffstat (limited to 'doc/options.3cvc_template.in')
-rw-r--r-- | doc/options.3cvc_template.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/options.3cvc_template.in b/doc/options.3cvc_template.in index f92faf47f..7e4f27a4a 100644 --- a/doc/options.3cvc_template.in +++ b/doc/options.3cvc_template.in @@ -25,8 +25,8 @@ This manual page refers to .B CVC4 version @VERSION@. .SH BUGS -A Bugzilla for the CVC4 project is maintained at -.BR http://cvc4.cs.nyu.edu/bugzilla3/ . +An issue tracker for the CVC4 project is maintained at +.BR https://github.com/CVC4/CVC4/issues . .SH AUTHORS .B CVC4 is developed by a team of researchers at New York University |