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/expand_definitions.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/smt/expand_definitions.cpp b/src/smt/expand_definitions.cpp
index b0460fcc5..4f49e1bbe 100644
--- a/src/smt/expand_definitions.cpp
+++ b/src/smt/expand_definitions.cpp
@@ -2,7 +2,7 @@
 /*! \file expand_definitions.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Andrew Reynolds, Tim King, Haniel Barbosa
+ **   Andrew Reynolds, Morgan Deters, 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.
-- 
cgit v1.2.3