Update copyright headers to 2021. (#6081)

1 files changed, 11 insertions, 10 deletions

diff --git a/src/preprocessing/passes/global_negate.h b/src/preprocessing/passes/global_negate.h
index b59303870..857664838 100644
--- a/src/preprocessing/passes/global_negate.h
+++ b/src/preprocessing/passes/global_negate.h
@@ -4,21 +4,22 @@
  ** Top contributors (to current version):
  **   Yoni Zohar, Mathias Preiner, Andrew Reynolds
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
  ** in the top-level source directory and their institutional affiliations.
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
  ** \brief the global_negate preprocessing pass
-  * Updates a set of assertions to the negation of
- * these assertions. In detail, if assertions is:
- *    F1, ..., Fn
- * then we update this vector to:
- *    forall x1...xm. ~( F1 ^ ... ^ Fn ), true, ..., true
- * where x1...xm are the free variables of F1...Fn.
- * When this is done, d_globalNegation flag is marked, so that the solver checks
- *for unsat instead of sat.
-**/
+ **
+ ** Updates a set of assertions to the negation of these assertions.
+ ** In detail, if assertions is:
+ **    F1, ..., Fn
+ ** then we update this vector to:
+ **    forall x1...xm. ~( F1 ^ ... ^ Fn ), true, ..., true
+ ** where x1...xm are the free variables of F1...Fn.
+ ** When this is done, d_globalNegation flag is marked, so that the solver
+ ** checks for unsat instead of sat.
+ **/
 
 #include "cvc4_private.h"