cmake: Disable C++ GNU extensions. (#3446)

[cvc5.git] / src / util / abstract_value.h

diff --git a/src/util/abstract_value.h b/src/util/abstract_value.h
index 2fbc26becf5b48ab3a2c50e10081a0e099b255b2..8091a7ee580fd3a789660aeac99ec733858d9f36 100644 (file)
--- a/src/util/abstract_value.h
+++ b/src/util/abstract_value.h
@@ -2,9 +2,9 @@
 /*! \file abstract_value.h
  ** \verbatim
  ** Top contributors (to current version):
- **   Morgan Deters, Paul Meng, Tim King
+ **   Morgan Deters, Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS
+ ** Copyright (c) 2009-2019 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