Update copyright headers.

17 files changed, 17 insertions, 17 deletions

diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp
index 0ac33c6dc..f4dc72e56 100644
--- a/examples/api/combination.cpp
+++ b/examples/api/combination.cpp
@@ -2,7 +2,7 @@
 /*! \file combination.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz, Tim King, Andrew Reynolds
+ **   Aina Niemetz, Tim King, 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/examples/api/linear_arith.cpp b/examples/api/linear_arith.cpp
index 2e70460af..77c1e196f 100644
--- a/examples/api/linear_arith.cpp
+++ b/examples/api/linear_arith.cpp
@@ -2,7 +2,7 @@
 /*! \file linear_arith.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz, Tim King
+ **   Aina Niemetz, Tim King, 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/examples/api/python/combination.py b/examples/api/python/combination.py
index f063d8c4e..7733437a1 100644
--- a/examples/api/python/combination.py
+++ b/examples/api/python/combination.py
@@ -2,7 +2,7 @@
 #####################
 ## combination.py
 ## Top contributors (to current version):
-##   Makai Mann, Aina Niemetz, Andrew Reynolds
+##   Makai Mann, Mudathir Mohamed, 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.
diff --git a/examples/api/python/linear_arith.py b/examples/api/python/linear_arith.py
index 94ce730a3..f539d1e05 100644
--- a/examples/api/python/linear_arith.py
+++ b/examples/api/python/linear_arith.py
@@ -2,7 +2,7 @@
 #####################
 ## linear_arith.py
 ## Top contributors (to current version):
-##   Makai Mann, Aina Niemetz
+##   Makai Mann, Mudathir Mohamed, 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.
diff --git a/examples/api/python/sequences.py b/examples/api/python/sequences.py
index 7ed5448cd..9e3e45dc2 100644
--- a/examples/api/python/sequences.py
+++ b/examples/api/python/sequences.py
@@ -2,7 +2,7 @@
 #####################
 ## sequences.py
 ## Top contributors (to current version):
-##   Andres Noetzli, Makai Mann
+##   Andres Noetzli, 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/examples/api/python/sets.py b/examples/api/python/sets.py
index e4350ea1b..5d2f842f5 100644
--- a/examples/api/python/sets.py
+++ b/examples/api/python/sets.py
@@ -2,7 +2,7 @@
 #####################
 ## sets.py
 ## Top contributors (to current version):
-##   Makai Mann, Aina Niemetz
+##   Makai Mann, Mudathir Mohamed, 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.
diff --git a/examples/api/python/strings.py b/examples/api/python/strings.py
index 1e85c56bb..518a7b993 100644
--- a/examples/api/python/strings.py
+++ b/examples/api/python/strings.py
@@ -2,7 +2,7 @@
 #####################
 ## strings.py
 ## Top contributors (to current version):
-##   Makai Mann, Andres Noetzli
+##   Makai Mann, Mudathir Mohamed, Andres Noetzli
 ## 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/examples/api/python/sygus-fun.py b/examples/api/python/sygus-fun.py
index a85902961..9fb7f4648 100644
--- a/examples/api/python/sygus-fun.py
+++ b/examples/api/python/sygus-fun.py
@@ -2,7 +2,7 @@
 #####################
 ## sygus-fun.py
 ## Top contributors (to current version):
-##   Yoni Zohar, Andres Noetzli
+##   Yoni Zohar, Andres Noetzli, Mudathir Mohamed
 ## Copyright (c) 2009-2018 by the authors listed in the file AUTHkinds.OrS
 ## This file is part of the CVC4 project.
 ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
diff --git a/examples/api/python/sygus-grammar.py b/examples/api/python/sygus-grammar.py
index cfa342f35..1410e6739 100644
--- a/examples/api/python/sygus-grammar.py
+++ b/examples/api/python/sygus-grammar.py
@@ -2,7 +2,7 @@
 #####################
 ## sygus-grammar.py
 ## Top contributors (to current version):
-##   Yoni Zohar
+##   Yoni Zohar, 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/examples/api/python/sygus-inv.py b/examples/api/python/sygus-inv.py
index 4e7465382..ac28f8f1b 100644
--- a/examples/api/python/sygus-inv.py
+++ b/examples/api/python/sygus-inv.py
@@ -2,7 +2,7 @@
 #####################
 ## sygus-inv.py
 ## Top contributors (to current version):
-##   Yoni Zohar
+##   Yoni Zohar, 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/examples/api/sets.cpp b/examples/api/sets.cpp
index f8053a756..6033fb94e 100644
--- a/examples/api/sets.cpp
+++ b/examples/api/sets.cpp
@@ -2,7 +2,7 @@
 /*! \file sets.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz, Kshitij Bansal
+ **   Aina Niemetz, Kshitij Bansal, 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/examples/api/strings.cpp b/examples/api/strings.cpp
index 556c49c8e..c95600c30 100644
--- a/examples/api/strings.cpp
+++ b/examples/api/strings.cpp
@@ -2,7 +2,7 @@
 /*! \file strings.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz, Tianyi Liang, Andres Noetzli
+ **   Aina Niemetz, Tianyi Liang, 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/examples/api/sygus-fun.cpp b/examples/api/sygus-fun.cpp
index b2d6e9215..a5b421fae 100644
--- a/examples/api/sygus-fun.cpp
+++ b/examples/api/sygus-fun.cpp
@@ -2,7 +2,7 @@
 /*! \file sygus-fun.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Abdalrhman Mohamed
+ **   Abdalrhman Mohamed, 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/examples/api/sygus-grammar.cpp b/examples/api/sygus-grammar.cpp
index ea8256c70..e5481676a 100644
--- a/examples/api/sygus-grammar.cpp
+++ b/examples/api/sygus-grammar.cpp
@@ -2,7 +2,7 @@
 /*! \file sygus-grammar.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Abdalrhman Mohamed
+ **   Abdalrhman Mohamed, 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/examples/api/sygus-inv.cpp b/examples/api/sygus-inv.cpp
index d57d9be4e..f903b0242 100644
--- a/examples/api/sygus-inv.cpp
+++ b/examples/api/sygus-inv.cpp
@@ -2,7 +2,7 @@
 /*! \file sygus-inv.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Abdalrhman Mohamed
+ **   Abdalrhman Mohamed, 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/examples/simple_vc_cxx.cpp b/examples/simple_vc_cxx.cpp
index e648b9994..94bbee564 100644
--- a/examples/simple_vc_cxx.cpp
+++ b/examples/simple_vc_cxx.cpp
@@ -2,7 +2,7 @@
 /*! \file simple_vc_cxx.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Andres Noetzli, Morgan Deters
+ **   Andres Noetzli, Morgan Deters, 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/examples/simple_vc_quant_cxx.cpp b/examples/simple_vc_quant_cxx.cpp
index 538cb359f..b2dd0d3e6 100644
--- a/examples/simple_vc_quant_cxx.cpp
+++ b/examples/simple_vc_quant_cxx.cpp
@@ -2,7 +2,7 @@
 /*! \file simple_vc_quant_cxx.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Andres Noetzli, Andrew Reynolds
+ **   Andres Noetzli, Andrew Reynolds, 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.