summaryrefslogtreecommitdiff
path: root/test/api/statistics.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/api/statistics.cpp')
-rw-r--r--test/api/statistics.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/test/api/statistics.cpp b/test/api/statistics.cpp
index 234246112..0bc89d47a 100644
--- a/test/api/statistics.cpp
+++ b/test/api/statistics.cpp
@@ -2,10 +2,10 @@
/*! \file statistics.cpp
** \verbatim
** Top contributors (to current version):
- ** Morgan Deters, Aina Niemetz, Tim King
+ ** Morgan Deters, Andres Noetzli, Aina Niemetz
** This file is part of the CVC4 project.
** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
**
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback