diff options
Diffstat (limited to 'doc/cvc4.1_template.in')
-rw-r--r-- | doc/cvc4.1_template.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/cvc4.1_template.in b/doc/cvc4.1_template.in index 11b9bac1b..ddf9bac09 100644 --- a/doc/cvc4.1_template.in +++ b/doc/cvc4.1_template.in @@ -118,7 +118,7 @@ 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 +is developed by a team of researchers at Stanford University and the University of Iowa. See the AUTHORS file in the distribution for a full list of contributors. |