Fixed

Boolector · Jun 20, 2018 · 0411d1a · 0411d1a
1 parent 47f94b3
commit 0411d1a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -1,7 +1,7 @@
 The main authors and developers of Boolector are:
 
-  Robert Brummayer, Johannes Kepler University Linz.
   Armin Biere, Johannes Kepler University Linz.
+  Robert Brummayer, Johannes Kepler University Linz.
   Aina Niemetz, Johannes Kepler University Linz, Stanford University.
   Mathias Preiner, Johannes Kepler University Linz, Stanford University.
 

diff --git a/COPYING b/COPYING
@@ -1,8 +1,8 @@
 Boolector is a Satisfiability Modulo Theories (SMT) Solver for bit-vectors,
 arrays and uninterpreted functions.
 
-Copyright (c) 2007-2009 Robert Brummayer.
 Copyright (c) 2007-2018 Armin Biere.
+Copyright (c) 2007-2009 Robert Brummayer.
 Copyright (c) 2012-2018 Aina Niemetz.
 Copyright (c) 2012-2018 Mathias Preiner.