diff options
Diffstat (limited to 'doc/SmtEngine.3cvc_template.in')
| -rw-r--r-- | doc/SmtEngine.3cvc_template.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/SmtEngine.3cvc_template.in b/doc/SmtEngine.3cvc_template.in index d741fd33f..b2b31c333 100644 --- a/doc/SmtEngine.3cvc_template.in +++ b/doc/SmtEngine.3cvc_template.in @@ -37,8 +37,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 |