Updates to theory preprocess equality (#5776)

[cvc5.git] / src / theory / theory_id.cpp

diff --git a/src/theory/theory_id.cpp b/src/theory/theory_id.cpp
index 31b864e7f4b0a44332654bbc646e5285fdddcb90..e9111db8c164d021879d943579285dc6fdc10907 100644 (file)
--- a/src/theory/theory_id.cpp
+++ b/src/theory/theory_id.cpp
@@ -2,7 +2,7 @@
 /*! \file theory_id.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Andrew Reynolds, Aina Niemetz, Tim King
+ **   Andrew Reynolds, Aina Niemetz, 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.