Update copyright headers.

7 files changed, 16 insertions, 6 deletions

diff --git a/test/api/CMakeLists.txt b/test/api/CMakeLists.txt
index 59df71010..33d5f9c37 100644
--- a/test/api/CMakeLists.txt
+++ b/test/api/CMakeLists.txt
@@ -1,7 +1,7 @@
 #####################
 ## CMakeLists.txt
 ## Top contributors (to current version):
-##   Aina Niemetz, Andrew V. Jones, Andres Noetzli
+##   Aina Niemetz, Andrew V. Jones, Makai Mann
 ## 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.
diff --git a/test/api/ouroborous.cpp b/test/api/ouroborous.cpp
index efca53ab3..1a23acd29 100644
--- a/test/api/ouroborous.cpp
+++ b/test/api/ouroborous.cpp
@@ -2,7 +2,7 @@
 /*! \file ouroborous.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Morgan Deters, Aina Niemetz, Tim King
+ **   Morgan Deters, Andrew Reynolds, Tim King
  ** 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.
diff --git a/test/api/python/test_grammar.py b/test/api/python/test_grammar.py
index 5a0d5101f..54c30b767 100644
--- a/test/api/python/test_grammar.py
+++ b/test/api/python/test_grammar.py
@@ -1,7 +1,7 @@
 #####################
 ## test_grammar.py
 ## Top contributors (to current version):
-##   Yoni Zohar, Makai Mann
+##   Yoni Zohar, Makai Mann, Mudathir Mohamed
 ## 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.
diff --git a/test/api/python/test_sort.py b/test/api/python/test_sort.py
index cff92ca8d..20ddc6bc1 100644
--- a/test/api/python/test_sort.py
+++ b/test/api/python/test_sort.py
@@ -1,7 +1,7 @@
 #####################
 ## test_sort.py
 ## Top contributors (to current version):
-##   Makai Mann, Andres Noetzli
+##   Makai Mann, Andres Noetzli, Mudathir Mohamed
 ## 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.
diff --git a/test/api/python/test_to_python_obj.py b/test/api/python/test_to_python_obj.py
index eb15e7469..eeafc4854 100644
--- a/test/api/python/test_to_python_obj.py
+++ b/test/api/python/test_to_python_obj.py
@@ -1,3 +1,13 @@
+#####################
+## test_to_python_obj.py
+## Top contributors (to current version):
+##   Makai Mann, Andres Noetzli, Mudathir Mohamed
+## 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.
+## All rights reserved.  See the file COPYING in the top-level source
+## directory for licensing information.
+##
 from fractions import Fraction
 import pytest
 
diff --git a/test/api/reset_assertions.cpp b/test/api/reset_assertions.cpp
index 2168d053e..0662c7519 100644
--- a/test/api/reset_assertions.cpp
+++ b/test/api/reset_assertions.cpp
@@ -2,7 +2,7 @@
 /*! \file reset_assertions.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Andres Noetzli
+ **   Andres Noetzli, Mudathir Mohamed
  ** 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.
diff --git a/test/api/sep_log_api.cpp b/test/api/sep_log_api.cpp
index cc20f1ed1..afe264d1f 100644
--- a/test/api/sep_log_api.cpp
+++ b/test/api/sep_log_api.cpp
@@ -2,7 +2,7 @@
 /*! \file sep_log_api.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Andrew V. Jones, Andres Noetzli
+ **   Andrew V. Jones, Andres Noetzli, Andrew Reynolds
  ** 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.