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

(limited to 'src/expr/expr_iomanip.cpp')

diff --git a/src/expr/expr_iomanip.cpp b/src/expr/expr_iomanip.cpp
index 0ff29663c..0395a9b07 100644
--- a/src/expr/expr_iomanip.cpp
+++ b/src/expr/expr_iomanip.cpp
@@ -2,7 +2,7 @@
 /*! \file expr_iomanip.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Tim King, Morgan Deters, Kshitij Bansal
+ **   Morgan Deters, Tim King, Kshitij Bansal
  ** 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