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

(limited to 'src/theory/trust_substitutions.cpp')

diff --git a/src/theory/trust_substitutions.cpp b/src/theory/trust_substitutions.cpp
index aaa3b44f7..b289d83cc 100644
--- a/src/theory/trust_substitutions.cpp
+++ b/src/theory/trust_substitutions.cpp
@@ -2,7 +2,7 @@
 /*! \file trust_substitutions.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Andrew Reynolds
+ **   Andrew Reynolds, Gereon Kremer
  ** 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