diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-28 17:54:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-28 17:54:33 -0700 |
| commit | 021e7ebaf808f4496609685cccab4eae8eb04d38 (patch) | |
| tree | 2459b60e63ef2e7be776368c29692386548d5059 /src/api/cvc4cppkind.h | |
| parent | 040f30fe51dd767011af728d4d8ab83b75e4efd9 (diff) | |
New C++ API: Implementation of Result. (#2112)
Diffstat (limited to 'src/api/cvc4cppkind.h')
| -rw-r--r-- | src/api/cvc4cppkind.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/api/cvc4cppkind.h b/src/api/cvc4cppkind.h index afa1e29f9..0b5f0ad06 100644 --- a/src/api/cvc4cppkind.h +++ b/src/api/cvc4cppkind.h @@ -1,7 +1,8 @@ /********************* */ -/*! \file cvc4cpp.h +/*! \file cvc4cppkind.h ** \verbatim - ** Top authors (to current version): Aina Niemetz + ** Top contributors (to current version): + ** Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. |