diff options
Diffstat (limited to 'src/api/cpp/cvc5.h')
-rw-r--r-- | src/api/cpp/cvc5.h | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h index 56b23bf89..4876caf80 100644 --- a/src/api/cpp/cvc5.h +++ b/src/api/cpp/cvc5.h @@ -1,14 +1,15 @@ -/*** - ** Top contributors (to current version): - ** Aina Niemetz, Andrew Reynolds, Abdalrhman Mohamed - ** This file is part of the cvc5 project. - ** 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. - */ - -/** +/****************************************************************************** + * Top contributors (to current version): + * Aina Niemetz, Andrew Reynolds, Abdalrhman Mohamed + * + * This file is part of the cvc5 project. + * + * 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. + * **************************************************************************** + * * The cvc5 C++ API. */ |