diff options
Diffstat (limited to 'src/theory/arith/nl/poly_conversion.cpp')
-rw-r--r-- | src/theory/arith/nl/poly_conversion.cpp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/theory/arith/nl/poly_conversion.cpp b/src/theory/arith/nl/poly_conversion.cpp index 8292380f9..8345fc5a1 100644 --- a/src/theory/arith/nl/poly_conversion.cpp +++ b/src/theory/arith/nl/poly_conversion.cpp @@ -9,12 +9,6 @@ ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim ** - ** 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. - ** All rights reserved. See the file COPYING in the top-level source - ** directory for licensing information.\endverbatim - ** ** \brief Utilities for converting to and from LibPoly objects. ** ** Utilities for converting to and from LibPoly objects. |