From 92e9feab5f417fbbd3ac07d47fe9b6b49f5c4168 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 2 Dec 2020 19:55:00 -0800
Subject: Update copyright headers.

---
 src/smt/sygus_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/smt/sygus_solver.cpp')

diff --git a/src/smt/sygus_solver.cpp b/src/smt/sygus_solver.cpp
index 0b40bf894..42dbcd43e 100644
--- a/src/smt/sygus_solver.cpp
+++ b/src/smt/sygus_solver.cpp
@@ -2,7 +2,7 @@
 /*! \file sygus_solver.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Andrew Reynolds, Haniel Barbosa, Andres Noetzli
+ **   Andrew Reynolds, Haniel Barbosa, Abdalrhman 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.
-- 
cgit v1.2.3