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

(limited to 'src/smt/command.h')

diff --git a/src/smt/command.h b/src/smt/command.h
index bfe5e737a..399050d94 100644
--- a/src/smt/command.h
+++ b/src/smt/command.h
@@ -2,7 +2,7 @@
 /*! \file command.h
  ** \verbatim
  ** Top contributors (to current version):
- **   Tim King, Morgan Deters, Abdalrhman Mohamed
+ **   Abdalrhman Mohamed, Tim King, Morgan Deters
  ** 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